Это не новые языки, но я голосую за то, что если у вас есть опыт работы с ними, то вы станете лучшим программистом на любом языке, который вы выберете:
- Smalltalk (или Objective-C), иначе вы не испытали ООП.
- Лисп для функционального, рефлексивного, метапрограммирования.
- Пролог для логического программирования.
Все они довольно далеки от вашего базового C-подобного языка, как по концепции, так и по синтаксису.
Алан Кей изобрел ООП и Smalltalk, его цитируют как «C ++ - это не то, что я хотел» , а C ++ - то, что имитирует большинство современных языков ООП. ООП в стиле C ++ - это просто синтаксический сахар поверх структур с указателями на функции. ООП может быть намного больше. Ruby тесно связан, но вы могли бы пропустить чередующиеся имена методов.
Lisp существует с 1958 года, и фанаты продолжают говорить, что все, что добавляется к любому новому языку, является чем-то заимствованным из Lisp. Может быть, не совсем верно, но несколько точно, Лисп собирал мусор 50 лет назад. Самый простой способ испытать это сегодня - написать что-то на Clojure.
Пролог основан на формальной логике. Пролог является декларативным, где вы объявляете факты и правила и выполняется путем построения запросов по этим отношениям. Вроде как логические игры в некоторых журналах:).