На практике чаще всего из многосортных используются двухсортные языки,
использование которых связано не только с удобством интерпретации, но и с чисто синтаксическими удобствами.
В частности, многие логики предпочитают использовать для свободных и связанных перменных два разных сорта перменных.
...
Тем не менее Клини [1973, с. 101-102] замечает: «Мы следовали этому правилу
в течение десятилетия при обучении... вплоть до 1946 года. Сейчас же мы твёрдо убеждены, что
использование единого списка переменных для свободных и связанных переменных даёт небольшое,
но чувствительное преимущество.

Почему у американцев это небольшое преимущество есть, а мы о нём не хотим знать и не упоминаем в учебниках?
2022, Кудрявцева И. А. & Швецкий М. В., Программирование теория типов

На практике чаще всего из многосортных используются двухсортные языки,
использование которых связано не только с удобством интерпретации, но и с чисто синтаксическими удобствами.
В частности, многие логики предпочитают использовать для свободных и связанных перменных два разных сорта переменных.
...
Тем не менее Клини [1973, с. 101-102] замечает: «Мы следовали этому правилу
в течение десятилетия при обучении... вплоть до 1946 года. Сейчас же мы твёрдо убеждены, что
использование единого списка переменных для свободных и связанных переменных даёт небольшое,
но чувствительное преимущество.

Почему у американцев это небольшое преимущество есть, а мы о нём не хотим знать и не упоминаем в учебниках?
2022, Кудрявцева И. А. & Швецкий М. В., Программирование теория типов