29 Dec
2005
29 Dec
'05
1:09 p.m.
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