Что такое статическая и динамическая типизация в Python и как они реализованы в языке?