Standard ML is popular among compiler writers and is a modular, functional programming language.

Alice is a dialect of Standard ML, which supports distributed computing, multithreading and constraint programming. Caml is another dialect of ML and is a statically typed language that supports automatic memory management.

That comeback is mostly due to the languages on this list.

Functional Programming Languages. Functional programming is a lot older than object-oriented programming, and it’s made a bit of a comeback in recent years. Influenced most functional languages including Haskell, Erlang and OCaml.