[Haskell] A question about fundeps <-> GADT interaction

Tomasz Zielonka tomasz.zielonka at gmail.com
Thu Dec 29 08:09:39 EST 2005


On Thu, Dec 29, 2005 at 12:39:01PM +0000, Bruno Oliveira wrote:
> A second alternative would be to simulate your GADT with a type class and 
> your constructors with the functions of that type class:
>
> [...]
> 
> As a remark, this is a church encoding of the GADT.
>
> [...]
>
> Now you can encode functions on the GADT as instances of this type class:

This is very interesting. Thanks!

I'll try to apply this technique to my problem.

Best regards
Tomasz

-- 
I am searching for a programmer who is good at least in some of
[Haskell, ML, C++, Linux, FreeBSD, math] for work in Warsaw, Poland


More information about the Haskell mailing list