Python 3: преимущества и недостатки языка Python интерпретируемый язык программирования

class Point:

x: int

y: int

def __init__(self, x: int, y: int):

self.x = x

self.y = y

Контроль типов с использованием аннотаций

Для проверки можно использовать уже знакомый нам инструмент mypy. Напишем вот такой код.

1. 
   a:int = 10
   
2. 
   b:int = 15
   
3. 
   
4. 
   def sq_sum(v1:int, v2:int) -> int:
   
5. 
   return v1**2 + v2**2
   
6. 
   
7. 
   print(sq_sum(a, b))
   

Сохраним его в файле с именем work.py и запустим mypy для анализа.

1. 
   python -m mypy work.py
   

Если не указывать дополнительные ключи, то окно консоли будет чистым, т.к. mypy не найдет никаких ошибок в вашем коде.
Но если заменить первую строку

1. 
   a: int = 10
   

на такую:

1. 
   a = 10.3
   

и вновь запустить mypy, то увидим вот такое сообщение:
work.py:7: error: Argument 1 to “sq_sum” has incompatible type “float”; expected “int”
При этом, естественно, код будет выполняться без всяких проблем, потому что интерпретатор Python в данном случае не обращает внимание на аннотации.

Отложенная проверка аннотаций

До выхода Python 3.7 определение типов в аннотациях происходило во время импорта модуля, что приводило к проблеме. Например, если выполнить следующий код:

1. 
   class Rectangle:
   
2. 
   def __init__(self, height: int, width: int, color: Color) -> None:
   
3. 
   self.height = height
   
4. 
   self.width = width
   
5. 
   self.color = color
   

То возникнет ошибка NameError: name ‘Color’ is not defined. Она связана с тем, что переменная colorимеет тип Color, который пока ещё не объявлен.
В таком случае, мы можем указать тип Color в кавычках, но это не очень удобно.

1.