Душа радуется

[metaclass]

Формула из диссертации одного из авторов Nemerle:



Ирреальный позитив. Довести себя до интуитивного понимания таких формул и пойти сдаться в психушку на том основании, что не могу больше мыслить обычными категориями. "Жена вызвала санитаров, за то что учил дочку считать в нумералах Чёрча".
Если от такого крыша едет, то страшно даже представить, что творится в голове у математиков, занимающихся, например, струнными теориями.

Кто-нибудь в курсе, в Беларуси хотя бы в одном вузе подобную шизу (лямбда-исчисление, всякую там функциональщину и прочий CS мрак) преподают?

Comments

[kong-en-ge.livejournal.com]

Ребе, там еще и пиво варят из жаб, судя по цене.

[vp.livejournal.com]

должно быть пофиг на цену

[kong-en-ge.livejournal.com]

ДА! Нужно только принести с собой достаточный запас карманной рыбы!

[metaclass.livejournal.com]

Ад и Израиль.
Я тут, понимаешь ли, о высоком, то бишь о будущем функционального программирования, а они пиво пьют :)

[themech.livejournal.com]

Вот Гиннес например еще дороже...
Таки его варят из ирландских мокрицъ? ;-)

[kong-en-ge.livejournal.com]

Знаете, но это же Гиннес, а не местный натурпродукт!

[themech.livejournal.com]

В таком случае MIXX - то самое заведение, где благородным донам не западло будет провести вечер за неспешной беседой...
Жрать только там нечего ;-)