On: Try OCaml

[pjmlp]

OCaml has an big presence in European universities, specially in France thanks to INRIA.

Our university was big in Prolog (SWI) and Caml Light back in the day, and they still are, just with Caml Light having been replaced by OCaml.

The only reason I known a bit about SML is because I am a language geek, it is hardly known in this side of the pound.