Динамическая/статическая проверка типов. Не типизация, а именно проверка типов. Статическая — проверка как можно раньше. На уровне анализа кода как текста. Во время компиляции. Динамическая — проверка в самый последний момент. В рантайме. В момент исполнения конкретного куска кода. Это бинарная ось. Проверка типов либо динамическая, либо статическая. Сильная(строгая)/слабая типизация. Насколько интерпретатор строго относится к типам...

Статья для начинающих. В ней я постараюсь объяснить , что такое статическая типизация, и для чего это всё нужно. Для примера возьмем обычную переменную : Далее в функции ready передадим в эту переменную текст «test» и выведем результат в консоль: Запустим приложение и не увидим никаких ошибок. Хотя мы только что поменяли один тип данных (цифра) на другой (текст). Не ругается годо потому, что мы не указывали тип. И при таком раскладе работает так называемая динамическая типизация. Т.е тип определяется динамически в зависимости от ситуации...