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