25 Jan
2005
25 Jan
'05
1:13 p.m.
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. Keean.