Из всего вышеперечисленного мне кажется Erlang наиболее соответствует требованиям уточнения. Все больше в интернете встречаю положительных отзывов о нем не только, как о изотерическом языке, а как о языке, успешно применяемом в продакшене.
Краткое введение в Erlang
www.insight-it.ru/programmirovanie/erlang/osnovy-erlang-sintaksis-i-punktuaciya/ 
