Erlang is a programming language used to build massively scalable soft real-time systems with requirements on high availability.

F# is a mature, open source, cross-platform, functional-first programming language.

Clojure is a dialect of the Lisp programming language.