Scala + Akka

Scala один из наиболее быстро развивающихся Java-based языков, сочетающий в себе лучшие возможности объектно-ориентированного и функционального подходов. Основными сильными сторонами Scala являются: статическая типизация, унифицированная система типов, продуманная библиотека структур данных. Фрейверк Akka значительно расширяет возможности Scala добавляя улучшенную акторную модель, средства безопасного и отказоустойчивого выполнения параллельных вычислений. Wikipedia: http://en.wikipedia.org/wiki/Scala_(programming_language)