8 Dec
2003
8 Dec
'03
5:33 p.m.
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.) Regards, Jeff Scofield