[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

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