Non-H98 crusade, contd.

ajb at ajb at
Sat Feb 26 20:00:22 EST 2005

G'day all.

Quoting ross at

> 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

Andrew Bromage

More information about the Libraries mailing list