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]


Reply via email to