Обязательность изучения ООП на java и шаблонов проектирования!

В данном случае да, lisp это средство для повышения ЧСВ этого анона.Не разговаривай с пастой.

Где? Где он есть, родимый?

Как пример вменяемой реализации адхок полиморфизма - классы типов хаскеля, например.

<-- там

Я хотел его упомянуть в пером посте, но т.к. до сих пор не работал с ним - постеснялся. Раз уж разговор зашел о Smalltalk, может быть порекомендуете литературу для изучения этого языка опытным С++/Objective-C/Java-программистом? Было бы интересно посмотреть. А заодно годный компилятор и, если есть, IDE.

А заодно годный компилятор и, если есть, IDE.

Smalltalk в его каноничном виде это _прежде всего_ IDE. Компиляторов в привычном понимании нет (как и файлов с исходниками у программ, но это уже потом :)). Самые быстрые виртуальные машины - это CogVM (Pharo) из открытых и VisualWorks из коммерческих (доступна для ознакомления). ЧСХ, работал над ними один и тот же человек.

Из литературы как всегда посоветую Pharo by example (сейчас меня какой-нибудь анон ткнёт носом в статус перевода) и Smalltalk-80: Language and its implementation (т.н. Blue Book).

Pharo by example хороша тем, что (в онлайн-версии) постоянно обновляется, покрывает все аспекты разработки (сам язык, стандартная библиотека, работа в интерактивной среде, современные пакеты и фреймворки).

Blue Book была выпущена в начале 80х и сейчас представляет прежде всего интерес исторический - «как оно было на самом деле» и как люди представляли себе ООП до тех пор, пока он стал мейнстримом (кстати, «ООП» как термин там ни разу не фигурирует). Тем не менее, многие главы до сих пор актуальны и дадут хорошее представление о ядре любой Смолток-системы. Так же довольно интересно почитать примеры разработки оттуда - там фреймворк для симуляционного моделирования в качестве примера реализуют.

Smalltalk в его классической форме может вызвать некий культурный шок, поэтому для любителей юниксвея есть GNU Smalltalk (с файлами и REPL) и мой маленький самопиарбонус к нему, для емаксеров.

> А чем оправдано изучение LISP, Haskell, Smalltalk, Agda, Epigram, Coq?

позволяют смотреть на всех, как на говно.

а девки так просто потекут

Как будто, это что-то плохое.

Изучая жабу мало что нового можно узнать.

У-ти божечки. А при постоянном изучении теории, есть риск окончательно деградировать в преподавателя в местной шараге.

Вам до CodeMonkey не деградировать надо, а сперва дорасти.

пруфы?

Радует, что анонимус пасту сменил, про Categories for the Working Mathematician уже немножко надоело.

Это как пруф на то что чай без сахара не вкусен.

что не так с жабой, что она не даёт изучать ничего нового? я с жабой узнал много нового, открыл мир промышленной разработки, андроид, jCUDA и так далее, что не так тебе с жабой то?

Я изучая жабу не увидел ничего уникального, чего бы не было в остальных популярных на сегодня промышленных языках. Ну может кроме хорошей статической типизации. Для обучения она ничего не дает. Ну а от зоопарка фреймворков и прочих java-технологий думаю тоже толку никакого.