[Haskell] A question about fundeps <-> GADT interaction

Tomasz Zielonka 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,
> 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

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 mailing list