Здравствуйте, Эйнсток Файр, Вы писали:

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

Ничего не понял, насчет 1946-го года похоже на опечатку, какие там еще вообще языки программирования, да которым 10 лет обучали? Только-только первые ЭВМ появлялись.