*types

Статическая типизация как замена тестам.

#thfiog

1 comment

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

#ttzoso

6 comments

http://www.pogofish.com/types.png чарт систем типов

#oehoth

add comment

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

#ohtohg

add comment