Основное различие между языками заключается в возможности статической проверки типов операндов арифметических операций. Там, где ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Пратт Т.N.
Языки программирования разработка и реализация
Основное различие между языками заключается в возможности статической проверки типов операндов арифметических операций. Там, где имеются описания типов и возможна их статическая проверка, во время выполнения программы можно использовать специфические операции и обычно не нужны де скрипторы для чисел. Если требуется динамическая проверка типов, должны использоваться универсальные операции, и во время выполнения программ необходимы дескрипторы.