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>)