[Haskell] Semantics of Haskell

Keean Schupke k.schupke at imperial.ac.uk
Tue Jan 25 08:13:32 EST 2005

> When I looked through several papers about Haskell semantics, I found 
> that
> recursive datatypes have been omitted.

I believe fairly strong reasons have been given why this would be a bad 
thing, and
would result in problems for type-inference. Haskell has iso-revursive 
types, which if
defined using the 'newtype' directive should have no run-time cost.


More information about the Haskell mailing list