Flameforkphoto, ruby, crap, crap

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

Если взрослого мыша
Взять и, бережно держа,
Насовать в него иголок —
Вы получите ежа.

Если этого ежа,
Нос зажав, чтоб не дышал,
Зашвырнуть подальше в реку —
Вы получите ерша.

Если этого ерша,
Головой в тисках зажав,
Посильней за хвостик дернуть —
Вы получите ужа.

Если этого ужа,
Приготовив два ножа…
Он, пожалуй, точно сдохнет.
Но идея хороша!

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

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