Take a look at http://en.wikipedia.org/wiki/ML_%28programming_language%29 http://en.wikipedia.org/wiki/ML_%28programming_language%29 ML dates from the 70s and

Take a look at http://en.wikipedia.org/wiki/ML_%28programming_language%29 http://en.wikipedia.org/wiki/ML_%28programming_language%29 ML dates from the 70s and its type system is the inspiration for Haskell's, although Haskell also adds typeclasses (and various Haskell extensions add a bunch of other stuff). The most widely used versions today are Standard ML and Ocaml, although many languages take inspiration from ML, for example Coq, Haskell, Clean, etc.