Arjan,
> Type checking in the presence of uniqueness annotations and
> classes is ridiculously hard. When I tried to implement monads
> with unique types I bumped into parts of the type checker that
> were undefined; resulting in a compiler crash. I think by now they
> have solved this, but reinventing this yourself can take a long,
> long time.
I'm interested in this; does "parts of the type checker that were
undefined" mean that they just hadn't been written, or that the type
system itself is unclear? Is the Clean type system known to be
consistent?
Ian Stark
--------------------------------------------------------------------
Ian Stark http://www.dcs.ed.ac.uk/home/stark
LFCS, Division of Informatics, The University of Edinburgh, Scotland
