Haskell & Clean

[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?
		Monads introduce a completely detached piece of syntax
(either do-notation or chaining lambda expressions, as Haskell-people did
before do-notation was invented) for handling variables that happen to
require a single threaded use. 
		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.

		Regards Erik Zuurbier