Некоторые типы типизации в языках программирования:

1. Статическая и динамическая. 12 При статической типизации конечные типы переменных и функций устанавливаются на этапе компиляции. 1 В динамической типизации типы определяются во время выполнения программы. 1 Примеры статически типизированных языков: C, Java, C#. 1 Примеры динамически типизированных языков: Python, JavaScript, Ruby. 1
2. Сильная и слабая (также иногда говорят строгая и нестрогая). 1 Сильная типизация не позволяет смешивать в выражениях различные типы и не выполняет автоматические неявные преобразования. 1 Языки со слабой типизацией выполняют множество неявных преобразований автоматически, даже если может произойти потеря точности или преобразование неоднозначно. 1 Примеры языков с сильной типизацией: Java, Python, Haskell, Lisp. 1 Примеры языков со слабой типизацией: C, JavaScript, Visual Basic, PHP. 1
3. Явная и неявная. 1 При явной типизации разработчик сам указывает, какой тип данных примет та или иная переменная. 2 Для неявно типизированных переменных язык программирования определяет тип сам. 2 Разработчик просто пишет название переменной и записывает туда значение, а компилятор или интерпретатор подбирает нужный тип. 2 Примеры языков с явной типизацией: C++, D, C#. 1 Примеры языков с неявной типизацией: PHP, Lua, JavaScript. 1