J�rgen Hermanrud Fjeld wrote:
I would just like to note that I'm finishing my master thesis in
computer science know, writing a high level compiler for an object
oriented language Creol. One of the things that has dawned upon me
during this work is that the type system of the O'Caml language is
really good, not just a good solution, but the most efficient solution I
have encountered, both with regard to the functional and object oriented
parts of their type system. Had I understood then what I know now, and
wanted to create a language, I would just start with the O'Caml type
system, as it is theoretically sound and everything can be statically
type checked.
But see <http://c2.com/cgi/wiki?OcamlSafetyDiscussion>.
--
David Hopwood <[EMAIL PROTECTED]>
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev
