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

Последние обновления

Технопром-2017

По телику показывают Технопром-2017. На сцене собрался круглый стол великих мыслителей русской промышленной революции. Ведущий разражается речью про мощь сибирской школы алгебраистов, и объявляется слово ученику академика Ершова (на самом деле Герасимова, но что не сделаешь для понта), который якобы смог использовать алгебру на практике (sic!) Названный сэр открывает рот и начинает говорить что-то внезапно …

clang 5 + Visual Studio 2017

Лайфхак. Релизный Шланг только четвертой версии, и не работает на свежей вижуалке. Можно последовать инструкции и собирать руками из SVN. Но оказывается, у них уже есть ночные сборки, которые таки работают на свежей вижуалке. http://llvm.org/builds/