Associated types in 6.6?

Simon Peyton-Jones simonpj at microsoft.com
Tue Nov 29 06:12:39 EST 2005


| 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 "boxy" types allow forall-quantified types in
| instance declarations?

Have not thought about that; do offer examples of how useful it'd be.

Simon



More information about the Glasgow-haskell-users mailing list