Типизация - набор правил разделения типов данных в конкретном языке программирования.
Выделяют следующие типизации языков программирования:
1.1) Сильная типизация - не позволяет смешивать разные типы данных и не выполняет никаких автоматических приведений в тот или иной тип.
Сильная типизация: Java, Python, Haskell, Pascal, Lisp;
1.2) Слабая типизация - способствует смешению типов в одном выражении путём приведении к единому типу.
Слабая типизация: C, JavaScript, Visual Basic, PHP.
2.1) Статическая типизация - конечные типы данных устанавливаются на этапе компиляции. В таких языках переменные объявляются до использования и с явным указанием типа данных.
Статическая типизация: Pascal, C, Java, C#;
2.2) Динамическая типизация - типы данных объявляются в процессе выполнения программы.
Динамическая типизация: Python, JavaScript, Ruby, PHP.
3.1) Явная типизация - тип новых данных следует задавать явно для каждой используемой переменной.
Явная типизация: C++, D, C#;
3.2) Неявная типизация - все действия перекладываются на компилятор/интерпретатор.
Неявная типизация: PHP, Lua, JavaScript