[Haskell] A question about fundeps <-> GADT interaction
tomasz.zielonka at gmail.com
Thu Dec 29 05:13:34 EST 2005
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,
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.
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