Infinite types

Jeffrey A. Scofield jeff at
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.)


Jeff Scofield

More information about the Haskell-Cafe mailing list