Что такое сильная, слабая, динамическая и статическая типизации

• Все языки программирования делятся на типизированные и нетипизированные.  

• Нетипизированные языки: ассемблер.  

• Типизированные языки имеют системы типов.  

• Единой классификации нет, но есть устоявшиеся моменты.  

• Википедия делит языки на четыре группы: сильная и слабая типизация.  

• Сильная типизация требует ошибок при несовместимости типов, слабая - преобразований.  

• Статическая типизация: тип присваивается при объявлении переменной.  

• Динамическая типизация: тип присваивается при использовании переменной.  

• Динамическая типизация позволяет изменять тип переменной в процессе выполнения.  

• Си: слабо типизированный, статически типизированный.  

• C++: слабо типизированный, статически типизированный.  

• JavaScript: слабо типизированный, динамически типизированный.  

• Java: сильно типизированный, статически типизированный.  

• Python: сильно типизированный, динамически типизированный.  

• Важно учитывать внутреннюю организацию языка и синтаксис.  

• Явное и неявное указание типов.  

• Параметрический полиморфизм позволяет не указывать типы, оставаясь сильно типизированным.  

• Классификация языков по типизации сложна и не имеет единого мнения.  

• Важно понимать, как язык относится к несовместимости типов и использует полиморфизм.  

• Это помогает лучше понять и использовать язык программирования.