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