On Fri, 14 Jan 2000, Arjan van IJzendoorn wrote:
> > So what are the important differences between Clean & Haskell?
>
> Input and output in Haskell is done through the use of monads. In Clean
> uniqueness typing is used.
Unique (=linear?) types designed for the modelling of the mutable
states. Monads also used for this purpose.
Q: Exist simple translation of the any monadic program into "unique types
style" or not? And the inverse: translation of the program with unique
types into monadic style?
> And the class mechanisms in the two languages are different. However, these
> differences do not show up in simple cases.
>
> So you're right: the languages Haskell and Clean are quite similar.
Also Clean have expilcit strictness annotations in the types (and some
rules for type inference with strictness annotations).
In Haskell we can't does this.
Q: May be this is the source of the Clean programs efficiency?
Haskell strictness analyzers usually does poor job.
Anton
