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 _______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
