Objective Caml
http://www.lama.univ-savoie.fr/~RAFFALLI/formel.html
> As a side note, I don't see Ocaml as a science project. It's a pragmatic
> language, in that it doesn't automatically assume it knows what's best,
> but instead provides the programmer the tools he needs to get the job
> done. As reflected in it's design decisions, the people designing Ocaml
> (Brian Hurt <bhurt@spnz.org>)
Careful; that sounds like you're describing Perl :-)
(John Goerzen <jgoerzen@complete.org>)