| Is that because GHC's TIL is not exactly System F?
It's an extension of System F (e.g. with data types, existentials,
GADTs). But we're not sure it's the right extension yet. Stay tuned.
| As ever, we tend to work harder on things that folk appear to want;
|
| Unrelated question: will
| I see that associated types is already in CVS:
|
|
http://article.gmane.org/gmane.comp.lang.haskell.cvs.all/19423/match=ass
ociated
|
| Will it be in 6.6?
I hope so but I am not sure. The trick lies in coming up with a
suitable typed intermediate representation for the program -- System F
On Mon, Nov 28, 2005 at 09:15:00AM -, Simon Peyton-Jones wrote:
I hope so but I am not sure. The trick lies in coming up with a
suitable typed intermediate representation for the program -- System F
isn't enough. Manuel Chakravarty and Martin Sulzmann and I have been
working on an idea,
Simon Peyton-Jones wrote:
The trick lies in coming up with a
suitable typed intermediate representation for the program -- System F
isn't enough.
Is that because GHC's TIL is not exactly System F?
As ever, we tend to work harder on things that folk appear to want;
Unrelated question: will