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