Динамическая/статическая проверка типов. Не типизация, а именно проверка типов. Статическая — проверка как можно раньше. На уровне анализа кода как текста. Во время компиляции. Динамическая — проверка в самый последний момент. В рантайме. В момент исполнения конкретного куска кода. Это бинарная ось. Проверка типов либо динамическая, либо статическая. Сильная(строгая)/слабая типизация. Насколько интерпретатор строго относится к типам. В JS можно сложить число 1 и строку ‘3’. Интерпретатор за вас переведёт число в строку и выдаст строку ‘13’. Это слабая типизация. Интерпретатор нестрого относится к типам. Если интерпретатор при сложении строки и числа выдаёт ошибку — это более сильная типизация. Это небинарная ось. Языки могут иметь более или менее слабую типизацию. Источник: https://soundcloud.com/mimpod/episode_46
Динамическая/статическая проверка типов.
Не типизация, а именно проверка типов.
Статическая — проверка как можно раньше. На уровне анализа кода как текста. Во время компиляции.
Динамическая — проверка в самый последний момент. В рантайме. В момент исполнения конкретного куска кода.
Это бинарная ось. Проверка типов либо динамическая, либо статическая.
Сильная(строгая)/слабая типизация.
Насколько интерпретатор строго относится к типам.
В JS можно сложить число 1 и строку ‘3’. Интерпретатор за вас переведёт число в строку и выдаст строку ‘13’. Это слабая типизация. Интерпретатор нестрого относится к типам.
Если интерпретатор при сложении строки и числа выдаёт ошибку — это более сильная типизация.
Это небинарная ось. Языки могут иметь более или менее слабую типизацию.
Источник: https://soundcloud.com/mimpod/episode_46