Исправление tailgunner, (текущая версия) :
Зачем нужна проверка на этапе трансляции (безотносительно целевого языка) - понятно или нет?
чтобы безотносительно - нет
Это нужно для того, чтобы связанные с типами ошибки обнаруживались на этапе трансляции. Система типов - это средство для выражения проверяемых утверждений о программе. Статическая система типов проверяет эти утверждения при трансляции, сразу для всей программы. Динамическая проверяет их как придется.
Исходная версия tailgunner, :
Зачем нужна проверка на этапе трансляции (безотносительно целевого языка) - понятно или нет?
чтобы безотносительно - нет
Это нужно для того, чтобы связанные с типами ошибки обнаруживались на этапе компиляции. Система типов - это средство для выражения проверяемых утверждений о программе. Статическая система типов проверяет эти утверждения при трансляции, сразу для всей программы. Динамическая проверяет их как придется.