Что такое динамическая vs. статическая типизация. Что такое слабая и сильная (строгая) типизация. Почему эти свойства не связаны.
Почему компилируемый язык не обязательно статически типизирован.
И причем тут приведение типов.
