OCaml, SML, Haskell, Scala, Erlang