afiskon

Erlang - учится быстро, легко перейти с Python, один из немногих функциональных языков, активно использующийся нынче в продакте.

Haskell - разорвет мозг на много маленьких кусочков (в хорошем смысле). Благодаря Haskell вы навсегда измените свои представления о программировании. Знания, полученные в процессе его изучения, пригодятся на протяжение всей карьеры независимо от того, на чем на самом деле будете писать.

Я об этих языках время от времени пописываю в своем бложике. Можете почитать тынц, тынц и далее по ссылкам.

Вообще-то, больше всего под вашу задачу подходит Haskell, но популярность этого языка - спорный вопрос. Поэтому наверное вам все-таки нужен C++. Если речь о GUI, тогда с wxWidgets или Qt. Еще можно посоветовать Python / Ruby и прочие языки, но у них проблема в том, что они требуют наличия интерпретатора или виртуальной машины.