> PS. Could somebody inform me what is the current status of
> multi-parametric classes?

        GHC 3.01 supports multi-parameter type classes
        in more or less the form described in the last section of
        "Type classes: an exploration of the design space"

We only mentioned this eliptically in the announcement, but
it should really have been a headline!  (The reason is that
we'd previously released 3.0 to friends, so we'd forgotten
that not everyone knew..)

It now seems very likely that Standard Haskell will support
multi-parameter type classes, and GHC 3.01 is our attempt
to gather feedback about whether we are moving towards
the right set of design choices.

The main limitation at the moment is

        no overlapping instance declarations

There are ways to lift this restriction, but it's a conservative
first choice.

Please try it out, and let us know if you trip over
        (a) bugs
        (b) obscure error messages
        (c) design restrictions that cramp your programming style

The URL is



Reply via email to