Статическая и динамическая типизация языков программирования