Категории типов. Часть 5. Пределы и сопряжения функторов +4
Публикации автора Underskyer1
Категории типов. Часть 4. Монады +10
Категории типов. Часть 3. Естественные преобразования +5
Категории типов. Часть 2. Функторы +5
Категории типов. Часть 1. Hom-типы +11
Кредо программиста (в приложении к стилю кодирования) +11
Рекурсивные типы. Часть 5/5. Занимательный матан +5
Рекурсивные типы. Часть 4/5. Схемы рекурсии +4
Рекурсивные типы. Часть 3/5. Свободные контейнеры +5
Рекурсивные типы. Часть 2/5. Неподвижные точки конструкторов типов +6
Рекурсивные типы. Часть 1/5. Рекурсия +13
Обобщённые типы. Часть 3/3. Применение контейнерных типов
Обобщённые типы. Часть 1/3. Полиморфные типы высокого рода
Обобщённые типы. Часть 2/3. Классы типов и контейнеры
Теория типов +58
