Публикации с тегом теория типов
Трилемма Святого Грааля типизации: почему нельзя всё сразу +14
Мета-теория связей 0.0.3 +2
Кратко о вариантности с примерами на TypeScript +1
Рекурсивные типы. Часть 5/5. Занимательный матан +5
Рекурсивные типы. Часть 4/5. Схемы рекурсии +4
Рекурсивные типы. Часть 3/5. Свободные контейнеры +5
Рекурсивные типы. Часть 2/5. Неподвижные точки конструкторов типов +6
Типы в программировании как математические множества +13
Обобщённые типы. Часть 3/3. Применение контейнерных типов
Обобщённые типы. Часть 1/3. Полиморфные типы высокого рода
Обобщённые типы. Часть 2/3. Классы типов и контейнеры
Глубокая Теория Связей 0.0.1
Теория типов +58
