OCaml

Created by Xavier Leroy et al. at INRIA in 1996. Extends Caml (an ML dialect) with objects and a powerful module system. Compiles to efficient native code. Influenced Rust, F#, Scala, and Haskell. Used at Jane Street and Facebook.