Date: Tue, 25 Nov 1997 10:43:26 -0500
From: Jason Hickey <email@example.com>
To: Xavier Leroy <Xavier.Leroy@inria.fr>
Subject: Re: recursive types
Thanks for the well-presented argument. One of the points you made is
that functions with inferred general recursive types are often
incorrect. I agree, and I am willing to make sacrifices to tie down
type inference (although it seems a little extreme to remove the
By that way, thanks for 1.06 release. OCaml 1.05 has been solid and
reliable, and you have added many useful features to 1.06. The language
and its type system have been clearly thought out. Nice!
Xavier Leroy wrote:
> Here is the straight dope...
-- Jason Hickey Email: firstname.lastname@example.org Department of Computer Science Tel: +1 (607) 255-4394 Cornell University
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:13 MET