Non-H98 crusade, contd.

ajb at spamcop.net ajb at spamcop.net
Sat Feb 26 20:00:22 EST 2005


G'day all.

Quoting ross at soi.city.ac.uk:

> Indeed.  Of all the extensions implemented by both GHC and Hugs, the only
> ones that seem ready are
>
> - rank 2 type signatures, and
>
> - polymorphic components for data constructors (giving them rank 2 types).

Off the top of my head:

- multi-parameter type classes

- pattern guards

- scoped type variables

- recursive "do"

- data declarations with no constructors

- constraints on typeclass methods

- instances on type synonyms

Even multi-parameter type classes are pretty well-understood

Cheers,
Andrew Bromage


More information about the Libraries mailing list