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