Добро пожаловать на сайт, посвященный теории типов.

Цель данного ресурса — собрать всю доступную информацию о теории типов, системах типов и их применении в языках программирования на русском языке.

Список доступных материалов на русском языке:

Как можно заметить список не очень большой, потому что почти вся информация на английском языке. Переводы занимают время, содержат ошибки и быстро устаревают. Будьте глобальными!

Если же английский не является для вас преградой, то возможно стоит обратить внимание на следующие материалы:

Если у вас есть вопросы и хочется обсудить на русском языке, то для этого есть