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

Система типов и то, чего в ней нет

Двунаправленная проверка вместо Хиндли — Милнера, исчерпывающность разбора, и главное решение: функции не являются значениями первого класса — с объяснением, что за это …