Многие люди говорят о «статической типизации».
В статически типизированных языках есть проверка типов во время компиляции, а в динамически типизированных языках нет.
Кажется, что статическая типизация позволяет проверять типдля языков с динамической типизацией, помимо проверки типов во время компиляции, что включает еще функция «статическая типизация»?