*types

Наконец-таки наткнулся на книгу, качественно и полно раскрывающую тему задания и исследования систем типов с помощью теории категорий, — "Introduction to Higher-Order Categorical Logic" Ламбека. Она описывает три разных способа задать типовые системы с помощью категориальных структур, — начиная от наивного CCC, ... more →

#ttzoso

6 comments

[23:30]<Элемир> Пора организовывать стат. типизационную фашисткую партию.
[23:30]<Элемир> Человек создан чтобы типизировать!

#ohtohg

add comment