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

Система типизации переменных в современных языках программирования работает следующим образом: она назначает тип каждому вычисленному значению и затем, отслеживая последовательность этих вычислений, проверяет или доказывает отсутствие ошибок согласования типов. ru.wikipedia.org

Есть два вида типизации: checkroi.ru

1. Статическая. checkroi.ru Язык проверяет код перед запуском и присваивает переменным тип, который впоследствии не может быть изменён. checkroi.ru Все выражения, в которых есть эта переменная, должны содержать операции, ориентированные именно на этот тип данных. checkroi.ru Если в коде тип переменной не соответствует выполняемой операции, программа не запустится. gb.ru
2. Динамическая. checkroi.ru Язык проверяет переменные и определяет их типы в момент совершения над ними операции. checkroi.ru При этом одной и той же переменной в разных частях кода могут быть присвоены разные типы данных. checkroi.ru

Также есть явная и неявная типизация: blog.skillfactory.ru

• При явной типизации разработчик сам указывает, какой тип данных примет та или иная переменная. blog.skillfactory.ru Обычно тип указывается в момент создания. blog.skillfactory.ru
• Для неявно типизированных переменных язык программирования определяет тип сам. blog.skillfactory.ru Разработчик просто пишет название переменной и записывает туда значение, а компилятор или интерпретатор подбирает нужный тип. blog.skillfactory.ru