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 _______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe
