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

[metaclass]

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



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

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

Comments

[vp.livejournal.com]

пошли лучше пива попьем

[komarov.livejournal.com]

диссер таким и должен быть :-)

[themech.livejournal.com]

кстати да! ;-)

[vp.livejournal.com]

если есть желание приходи щас в макси бис на немиге

[themech.livejournal.com]

при всем уважении, ребе, в эту тошниловку я ни ногой, и вам не советую.
особенно после того, как там начали собираться пидоры молодые люди нетрадиционной ориентации

[volodymir-k.livejournal.com]

Алгебраисты даже в политехе есть.

[vp.livejournal.com]

я тут только пиво

[themech.livejournal.com]

в последний раз, когда я посещал оное заведение, из разливного там предлагалась только заливария.
если говорить о пиве - то разумнее было бы зайти в раковский ;-)

[vp.livejournal.com]

Раковский не рулит только одним - в выходные туда не вбиться

[kong-en-ge.livejournal.com]

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

[vp.livejournal.com]

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

[kong-en-ge.livejournal.com]

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

[themech.livejournal.com]

А это вообще глобальная проблема любого хорошего заведения в Минске :-/

[themech.livejournal.com]

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

[kong-en-ge.livejournal.com]

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

[vp.livejournal.com]

А еще есть другие хорошие заведения? :-/

[themech.livejournal.com]

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

[themech.livejournal.com]

http://metaclass.livejournal.com/250125.html?thread=1327629#t1327629

[metaclass.livejournal.com]

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

[redchrom.livejournal.com]

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