Jeffrey A. Scofield
jeff at dhitechnologies.com
Mon Dec 8 14:33:14 EST 2003
Jeremy Shaw wrote:
> There is a thread on comp.lang.functional that talks about why haskell
> does not support recursive types:
> (searching for 'ocaml rectypes' on google groups turns up a number of
> useful threads about the joys and dangers of allowing recursive types).
I hadn't yet gotten around to wondering about the tradeoffs, but now
that you mention it these are interesting references. Thanks.
(Also, if I want to play around with the examples in Pierce, I can
use ocaml -rectypes. Thanks for pointing this out.)
More information about the Haskell-Cafe