Je trošku ironií, že hlavní nevýhodou staticky typovaných jazyků je to, že často programátoři vynakládají extra úsilí a píší více kódu jen proto, aby statické typování obešli.

Plně souhlasím. Před časem se mi ale stala i opačná věc: v PHP mi práci komplikovalo to, že se jazyk choval jako dynamicky typovaný a přitom jsem si na konkrétní typy objektů musel dávat setsakramenský pozor…