46. Типизация: статическая, динамическая, сильная, строгая, слабая

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