Я пробывал самостаятельно выучить теорию котегорий, но непонел, почему при построении котегории, где объекты — типы данных, а морфизмы — функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симитричная моноидальная катигория (подобно Hilb, где где объекты — канечномерные гильбертовы пространства с обычным тензорным произведением, а морфизмы — линейные операторы), но не декартова, каковой является Set. Это завело меня в тупик, и я начал пить.
Fleet — Clojure template engine
Why?
Because
— I wanted template engine for Clojure
— close to Clojure
— and I hate writing HTML not in HTML (clj-html, haml, etc).
Если взрослого мыша
Взять и, бережно держа,
Насовать в него иголок —
Вы получите ежа.Если этого ежа,
Нос зажав, чтоб не дышал,
Зашвырнуть подальше в реку —
Вы получите ерша.Если этого ерша,
Головой в тисках зажав,
Посильней за хвостик дернуть —
Вы получите ужа.Если этого ужа,
Приготовив два ножа…
Он, пожалуй, точно сдохнет.
Но идея хороша!
Боян, конечно, зато про интырпрайз
