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. _______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
