система типов

[cottidianus]

В который раз открыл TAPL.
Почитал 10 минут.
Не смог найти для себя ответ на вопрос нахуя я это читаю? Нахуя я на это трачу время которого и так нет?
Закрыл TAPL.

Пока, TAPL.
Это уже третий или четвёртный раз.