On Thu, Dec 29, 2005 at 09:48:04AM -0000, Simon Peyton-Jones wrote: > Intriguing! I'm afraid it'll be some time before your code works, > though.
No problem, I can wait. > First I have to get GADTs and type classes to play together nicely, > which I am hoping to do during Jan/Feb. Then I'll have to think about > the interaction between GADTs and fundeps. I wonder if my problem can't be solved with Associated Type Synonyms. But was interaction of ATS and GADT explored at all? > As of today, if it works at all, it's quite amazing. I am amazed too. After all, Oleg found a way to make "untype" compile (but there are still problems with more complicated functions). There is also his idea for doing it in a different way, but haven't tested it yet. 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
