Re: The Clean type system

[Arjan van IJzendoorn]

Hello Ian,

> 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?

The former. Those parts had not been written (yet). Hopefully now that they
are writing their type checker in a higher-level language (Clean) it is
easier to implement it correctly.

> Is the Clean type system known to be consistent?

I don't know about that. Maybe one of the members of the Clean team is
reading this?


Arjan