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

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

Браузер на основе Idea/Eclipse

Пока у меня в ФБ шел лютый срач по поводу смерти Firefox, я загорелся написать свой браузер, но сразу же натолкнулся на некую неприятную проблему. Чтобы написать нормальный браузер (не как попало, а по-хорошему, надолго), необходимо в Java засунуть нормальный движок типа Servo. Серво написан на Rust, но это херня. Полистал вторую редакцию Rust Book, …

Minimum Value Types (Shady Values v0.4)

Эта статья — перевод спецификации, посвященной описанию минимальной реализации типов-значений в Java, которую с нетерпением ждут уже несколько лет.  Изначально статья опубликована на Хабре. Добро пожаловать в MVT!

Посещение конференции — чеклист

Это статья появилась за распитием пива с друзьями в Академгородке — стало понятно, что лучше её перенести в текстовый вид, дабы не повторять сто раз. Существуют легенды на тему того, что единственный смысл конференции — это найти себе работу покруче за деньги текущего работодателя. Несмотря на внешнюю неэтичность, в этом хотя бы есть смысл. В …