[Haskell] Semantics of Haskell
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
> recursive datatypes have been omitted.
I believe fairly strong reasons have been given why this would be a bad
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