При статическом контроле типов:
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
возможно построить более богатую систему типов по сравнению с динамическим
возможно устранять большее количество ошибок на этапе компиляции(Верный ответ)
тип переменной известен на момент компиляции(Верный ответ)
достигается высокая эффективность программы в момент выполнения(Верный ответ)