Erlang и Scala
Пробовал работу с обоими языками. Опыт небольшой, но есть. 

Scala (щупал фреймворки Lift и Actors). Объектно-ориентированный в целом язык, хорошо интегрированный с Java. На лицо некоторая двойственность парадигмы и расширенный спектр концепций, внесенный в язык в связи с этим. 

Не нравятся традиционной для JVM безмерной глубины трейсы. Синтаксис привычный, а ла Java.

Фирменная фича: Actors — фрейморк на языке, упрощающая работу с распределенными (или, вернее, распределяемыми) задачами.

Erlang — интересная высокоуровневая реализация функциональной парадигмы. Мои симпатии на стороне этого языка.

Никаких глобальных состояний, изменяемых переменных, избыточности ООП, чистый message passing. Разработчик почти полностью абстрагирован от уровня узлов кластера.

Явистам могут показаться непривычными синтаксис и сугубо функциональный стиль программирования. Несколько больше времени уйдет на освоение. Трейсы умеренной зашифрованности.
У Erlang'а живое сообщество. У Scala есть свои проблемы, возможно, временные.
Если смущает синтаксис Erlang'а — посмотрите на Reia.
Ещё был в своё время интересный проект Kilim, actor framework для Java, но затрудняюсь ответить, насколько он жив.