Типизация в языках программирования — часто поднимающийся вопрос.

Нашел статью на эту тему на хабре:
https://habr.com/ru/post/161205/

Для меня она была довольно смутной до этой статьи. Теперь стало намного более системно и понятно. Плюс статья написана в таком виде, что основная классификация кратко описана в начале статьи, и ниже обсуждается более подробно. Мне понравилось, поэтому оставлю её здесь для себя и для вас.

Ниже мои мысли по этому вопросу.
Во-первых я считаю, что типизация — не панацея. Вообще она имеет по-моему довольно малую процентную составляющую среди всех возможных факторов, влияющих на стабильность работы продукта и её значимость завышена, в связи с этим языки со статической типизацией больше создают проблем программистам (замедляют получение результата), чем защищают от ошибок (позволяют создавать надежно работающие продукты).
Поэтому, моё мнение, что в каждом языке должна быть возможность выбирать, какую типизацию использовать в каждом конкретном случае, к чему по-моему языки сейчас и приходят. Т.е. если я хочу себя предостеречь от ошибок — я явно определяю тип данных, или как-то еще начинаю использовать строгую или статическую типизацию. А если мне сейчас наоборот нужно быстро и просто реализовать какие-то необходимые мне метаморфозы с данными, что позволяет создавать гибкие и «живые» продукты, то я пользуюсь возможностями динамической типизации