type system plans

rinus plasmeijer rinus@cs.kun.nl
Tue, 03 Nov 1998 17:06:56 +0100



matthews@math.uga.edu wrote:
> 
> I was wondering if there are any plans to introduce some of the new
> Haskell goodies into Clean -- specifically Haskell has introduced
> rank 2 polymorphism, and multi-parameter type classes. The latter
> in particular are very nice (despite the theoretical decidability
> issues). If so when?
> 
Multi-parameter type classes are included in Clean 2.0 which we are
currently testing. I hope that we can release it before the end of the
year.
We might introduce rank 2 polymorphism.

Greetings,

Rinus