Можешь пояснить, что такое статическая типизация по сравнению с утиной типизацией?