Infinite types

[Jeffrey A. Scofield]

Jeremy Shaw wrote:

> There is a thread on comp.lang.functional that talks about why haskell
> does not support recursive types:
> 
> http://groups.google.com/groups?q=ocaml+rectypes&hl=en&lr=lang_en&ie=UTF-8&oe=UTF-8&safe=off&selm=8giqpt%24oee%241%40rivesaltes.inria.fr&rnum=1
> 
> (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.)

Regards,

Jeff Scofield