Можете объяснить различия между статической и динамической типизацией в языках программирования?