Objective Caml

See http://caml.inria.fr/.

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)