9 Dec
2003
9 Dec
'03
6:33 a.m.
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&o...
(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