Промышленный функциональный язык программирования с динамической строгой типизацией, который заточен под параллельное распределённое выполнение. Идейно похож на Common Lisp, но к сожалению не имеет такой клёвой поддержки REPL-driven-development как в лиспах. Но свой REPL тоже есть хоть и ограниченный.

https://ru.wikipedia.org/wiki/Erlang