Associated types in 6.6?
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.
More information about the Glasgow-haskell-users