Какие существуют типы типизации в языках программирования?

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

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