Code from Telegraph article

code.py

from typing import Final

class Point:
  def __init__(self, x: int, y: int):
    self.x: Final[int] = x
    self.y: Final[int] = y

p1 = Point(10, 20)

# Координатани ўзгартиришга уриниш
p1.x = 30 # <-- MyPy бу ерда ҳам хато курсатади!