Associated types in 6.6?
japple at freeshell.org
Tue Nov 29 01:32:17 EST 2005
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 "boxy" types allow forall-quantified types in
> anyone who is keen on associated types, do sing out and describe your
> application a bit.
If yes, I'll clean-up and send out some code showing what I think would
be a good use.
More information about the Glasgow-haskell-users