26 Feb
2005
26 Feb
'05
8 p.m.
G'day all. Quoting ross@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