[Haskell-cafe] A question about functional dependencies
and existential quantification
jmg at informatik.uni-kl.de
Mon Mar 26 07:58:59 EDT 2007
thanks for your quick answer. Do you have any predictions when System
F_c in GHC will be available for usage?
Simon Peyton-Jones wrote:
> What you want to do is perfectly reasonable -- but it cannot be translated into System F and that's why GHC rejects it.
> GHC now has a richer intermediate language that *can* handle this; see our paper http://research.microsoft.com/~simonpj/papers/ext-f.
> Manuel and Martin and I are now working on the *source*-language aspects, incl type inference. When we are done, we'll be able to compile your program, or at least one very like it.
> So, stay tuned. Meanwhile thank you for the example.
More information about the Haskell-Cafe