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