Haskell & Clean

[Stefan Karrmann]

Am Thu, Jan 27, 2000 at 12:25:58PM +0100 schrieb Zuurbier, E. - AMSXE:
> Stefan Karrmann wrote:
> > > So what are the important differences between Clean & Haskell?
> > What are the pros and cons of unique typing with multiple
> > environments vs. the IO monad?

> ...
> 		Uniqueness-types can do all that Monads can do, but not the
> other way around.
> 		Monads let you create some types of run time errors that
> Uniqueness Typing catches at compile time.
> 		Uniqueness Typing generates (compile time) typing error
> messsages that are sometimes hard to understand.

Are there some (easy/usual) examples?

Is the pro of multiple environments the fact, that you can exploit
deterministic concurrency? How uses clean non-deterministic concurrency?

Thanks,
-- 
Stefan Karrmann