Какие существуют виды типизации в Python?

В Python используется динамическая, нестрогая (утиная) и явная типизация.

• Динамическая: Тип переменной определяется во время выполнения программы, а не на этапе компиляции. Одна и та же переменная может хранить значения разных типов в разные моменты времени.

  # Динамическая типизация
  a = 10      # Тип int
  a = "hello" # Тип str
  

• Нестрогая (утиная): Важнее поведение объекта (какие методы и атрибуты он имеет), а не его формальный тип. Если объект "утиным шагом шагает и утиным голосом крякает", то он, по сути, утка, независимо от того, является ли он экземпляром класса Duck. Это позволяет писать более гибкий код.

  # Утиная типизация
  class Dog:
      def speak(self):
          print("Woof!")
  
  class Cat:
      def speak(self):
          print("Meow!")
  
  def make_sound(animal):
      animal.speak() # Работает, если у объекта есть метод speak
  
  make_sound(Dog())
  make_sound(Cat())
  

• Явная (система подсказок типов): Явное указание ожидаемого типа в коде с помощью аннотаций. Это не влияет на выполнение программы (кроме случаев использования статических анализаторов), но улучшает читаемость, упрощает отладку и позволяет статическим анализаторам (например, MyPy) выявлять потенциальные ошибки типов до выполнения.

  # Явная типизация (подсказки типов)
  def add(a: int, b: int) -> int:
      return a + b
  
  result: int = add(5, 3)
  

Сравнение с другими видами:

В Python сочетание динамической и нестрогой типизации обеспечивает гибкость и быстроту разработки, а явная типизация (с помощью аннотаций) добавляет возможности статического анализа и повышает надежность кода, особенно в больших проектах.