QotD / Это завело меня в тупик

[piggymouse]

Цитата года, безусловно!!! Спасибо, дорогой alexclear!!!

Я пробывал самостаятельно выучить теорию котегорий, но непонел, почему при построении котегории, где объекты — типы данных, а морфизмы — функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симитричная моноидальная катигория (подобно Hilb, где где объекты — канечномерные гильбертовы пространства с обычным тензорным произведением, а морфизмы — линейные операторы), но не декартова, каковой является Set. Это завело меня в тупик, и я начал пить.

И две прекрасные ссылки!

• http://erlang-mnesia-video.ru/
• http://php-mysql-video.ru/

Comments

[tyrex.livejournal.com]

бля-а!!!!!!

[tomash.livejournal.com]

Прекрасно!

[blacklion.livejournal.com]

Твой юзерпик съел мне мозг.

[old-skipper.livejournal.com]

> * http://erlang-mnesia-video.ru/
* http://php-mysql-video.ru/



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

[pbl.livejournal.com]

Йумар первой ссылки показался мне абстрактным. Пока я не открыл вторую. Блй-а-а-адь.

[old-skipper.livejournal.com]

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

[http://users.livejournal.com/las__/]

вот это, я понимаю, причина

[move-yo.livejournal.com]

ЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫ

йа котаюсь

[hvd.livejournal.com]

Жыр!