Если вы читали что-то о языках программирования, то наверняка не раз наткнулись на упоминание типизации. Что это такое и что об этом нужно знать, когда выбираешь язык программирования? Типизация — это то, как язык распознаёт типы переменных. Типизация определяет, нужно ли вам писать тип, или язык «поймёт» его сам, и насколько свободно можно с типами работать: например, можно ли их менять. А что такое типы? В переменную можно записывать информацию, а тип переменной описывает, какая именно информация записана в переменной и что с ней можно делать...

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