On Thu, 30 Jun 2005, Andreas Rossberg wrote:

> John Skaller wrote:
> >
> > Executive Summary: I guess no wart free solution can exist.
>
> Where do you see the wart with Haskell's approach?

Which one? Haskell 98's? Or the multiparameter one with functional
dependencies and ... (GHC and Hugs)?

I'd love to see an ML with type classes and a simple module system, just so we
could get experience. G'Caml looks promising too, and the integration with
modules seems straightforward.

-- Brian