metaclass: (Default)
metaclass ([personal profile] metaclass) wrote2007-12-15 04:53 pm

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

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



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

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

[identity profile] vp.livejournal.com 2007-12-15 03:45 pm (UTC)(link)
пошли лучше пива попьем

[identity profile] vp.livejournal.com 2007-12-15 05:27 pm (UTC)(link)
если есть желание приходи щас в макси бис на немиге

[identity profile] themech.livejournal.com 2007-12-15 06:32 pm (UTC)(link)
при всем уважении, ребе, в эту тошниловку я ни ногой, и вам не советую.
особенно после того, как там начали собираться пидоры молодые люди нетрадиционной ориентации

[identity profile] vp.livejournal.com 2007-12-15 06:47 pm (UTC)(link)
я тут только пиво

[identity profile] themech.livejournal.com 2007-12-15 07:39 pm (UTC)(link)
в последний раз, когда я посещал оное заведение, из разливного там предлагалась только заливария.
если говорить о пиве - то разумнее было бы зайти в раковский ;-)

[identity profile] vp.livejournal.com 2007-12-16 09:30 am (UTC)(link)
Раковский не рулит только одним - в выходные туда не вбиться

[identity profile] kong-en-ge.livejournal.com 2007-12-16 10:44 am (UTC)(link)
Ребе, там еще и пиво варят из жаб, судя по цене.

[identity profile] vp.livejournal.com 2007-12-16 11:11 am (UTC)(link)
должно быть пофиг на цену

[identity profile] kong-en-ge.livejournal.com 2007-12-16 11:20 am (UTC)(link)
ДА! Нужно только принести с собой достаточный запас карманной рыбы!

[identity profile] metaclass.livejournal.com 2007-12-16 12:08 pm (UTC)(link)
Ад и Израиль.
Я тут, понимаешь ли, о высоком, то бишь о будущем функционального программирования, а они пиво пьют :)

[identity profile] themech.livejournal.com 2007-12-16 11:33 am (UTC)(link)
Вот Гиннес например еще дороже...
Таки его варят из ирландских мокрицъ? ;-)

[identity profile] kong-en-ge.livejournal.com 2007-12-16 11:40 am (UTC)(link)
Знаете, но это же Гиннес, а не местный натурпродукт!

[identity profile] themech.livejournal.com 2007-12-16 11:58 am (UTC)(link)
В таком случае MIXX - то самое заведение, где благородным донам не западло будет провести вечер за неспешной беседой...
Жрать только там нечего ;-)

[identity profile] themech.livejournal.com 2007-12-16 11:31 am (UTC)(link)
А это вообще глобальная проблема любого хорошего заведения в Минске :-/

[identity profile] vp.livejournal.com 2007-12-16 11:53 am (UTC)(link)
А еще есть другие хорошие заведения? :-/

[identity profile] komarov.livejournal.com 2007-12-15 03:47 pm (UTC)(link)
диссер таким и должен быть :-)

[identity profile] volodymir-k.livejournal.com 2007-12-15 06:41 pm (UTC)(link)
Алгебраисты даже в политехе есть.

[identity profile] redchrom.livejournal.com 2007-12-18 08:22 am (UTC)(link)
кстати в этой формуле я понял только лямбда вычисление, оно то кстати и ни шиза, хороший программист даже без образования должен понимать.