Joe English <[EMAIL PROTECTED]> writes:
> As long as we're on the subject...
>
> My biggest wishes for Haskell-2 are existential types
> and the TREX extensible record system from Hugs 1.3.
> I've found these two extensions *extremely* handy.
I agree; Haskell 2 should have existential (and universal) types. I
also think it should have both extensible records and extensible
variants. (See the following paper for more information on these.
TREX is an implementation of half of this system; it has the
extensible records but not extensible variants.)
A Polymorphic Type System for Extensible Records and Variants,
Benedict R. Gaster and Mark P. Jones, Technical report NOTTCS-TR-96-3,
November 1996, Department of Computer Science, University of
Nottingham, University Park, Nottingham NG7 2RD, England.
Carl Witty
[EMAIL PROTECTED]
