OT: Ocaml?

[Daniel Yoo]

Paul Rubin <http://phr.cx@nospam.invalid> wrote:
: Arne Koewing <ark at gmx.net> writes:
:> > Anyone here use OCAML?  How do you like it?  Is it a language a
:> > Pythonista can learn to love?  From what little I've seen, it looks
:> > interesting, but I haven't actually tried installing or using it yet.
:> Yes and I think it's a great language, but it's a little bit harder
:> to start learning it. (you must learn how to read the types).
:> But you get a very 'save' language with a very  efficient compiler.

: Do you find that the strict type system gets in your way like it does
: in Java?


Actually, not at all!  Mark Jason Dominus has written a very nice page
talking about type systems, and in particular, gushes about the
ML/Ocaml approach.  He shows how the ML type system just gets out of
the way:

    http://perl.plover.com/yak/typing/

Very good reading.  *grin*


Hope this helps!