[Haskell] A question about fundeps <-> GADT interaction
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.
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