Erlang + OCaml и все-все-все.

Вот здесь опубликованы весьма интересные слайды - про то, как функциональные языки вытеснили в продакшене императивщину. Крайне интересно.

Сказать по правде, именно так я себе все и представлял.