Говорят, что язык допускает статическую проверку типа, если определение языка требует наличия в программе описаний ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Пратт Т.N. Языки программирования разработка и реализация


Говорят, что язык допускает статическую проверку типа, если определение языка требует наличия в программе описаний типа позволяющих транслятору выполнить во время трансляции проверку соответствия типов и странслировать универсальные операции исходной программы в специфические операции объектной программы. Альтернативой является динамическая проверка типа, осуществляемая универсальными операциями во время выполнения программы.

(cкачать страницу)

Смотреть книгу на libgen

Говорят, что язык допускает статическую проверку типа, если определение языка требует наличия в программе описаний типа позволяющих транслятору выполнить во время трансляции проверку соответствия типов и странслировать универсальные операции исходной программы в специфические операции объектной программы. Альтернативой является динамическая проверка типа, осуществляемая универсальными операциями во время выполнения программы.