{"id":497156,"date":"2026-10-02T15:54:50","date_gmt":"2026-10-02T15:54:50","guid":{"rendered":"https:\/\/savepearlharbor.com\/?p=497156"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=497156","title":{"rendered":"Typing \u0432 Python 3.11\u20133.14: \u0447\u0442\u043e \u0438\u0437\u043c\u0435\u043d\u0438\u043b\u043e\u0441\u044c \u0438 \u043a\u0430\u043a \u044d\u0442\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0443\u0436\u0435 \u0441\u0435\u0439\u0447\u0430\u0441"},"content":{"rendered":"
\n

\u042f \u0447\u0438\u0442\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 \u043e \u0442\u0438\u043f\u0438\u0437\u0430\u0446\u0438\u0438 \u0432 Python \u0438 \u0440\u0430\u0437\u0431\u0438\u0440\u0430\u043b \u0440\u0435\u043f\u043e\u0437\u0438\u0442\u043e\u0440\u0438\u0438, \u0433\u0434\u0435 \u0435\u044e \u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442\u0441\u044f \u0432\u0441\u0435\u0440\u044c\u0451\u0437, \u0430 \u043d\u0435 \u0434\u043b\u044f \u0433\u0430\u043b\u043e\u0447\u043a\u0438. \u041f\u043e\u0447\u0442\u0438 \u0432\u0435\u0437\u0434\u0435 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u043d\u0435 \u043d\u043e\u0432\u0435\u0435 3.11: Optional<\/code>, TypeVar<\/code> \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 \u043c\u043e\u0434\u0443\u043b\u044f, Generic[T]<\/code>, \u043a\u0430\u0432\u044b\u0447\u043a\u0438 \u0432\u043e\u043a\u0440\u0443\u0433 \u043e\u043f\u0435\u0440\u0435\u0436\u0430\u044e\u0449\u0438\u0445 \u0441\u0441\u044b\u043b\u043e\u043a. \u041f\u0440\u0438 \u044d\u0442\u043e\u043c \u0443 Python 3.10 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u043a\u0430 \u0437\u0430\u043a\u0430\u043d\u0447\u0438\u0432\u0430\u0435\u0442\u0441\u044f \u0432 \u043e\u043a\u0442\u044f\u0431\u0440\u0435 2026 \u0433\u043e\u0434\u0430 [1], \u0438 \u0447\u0430\u0441\u0442\u044c \u0442\u0430\u043a\u0438\u0445 \u043f\u0440\u043e\u0435\u043a\u0442\u043e\u0432 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e \u0434\u0435\u0440\u0436\u0438\u0442 \u0435\u0433\u043e \u043d\u0438\u0436\u043d\u0435\u0439 \u0433\u0440\u0430\u043d\u0438\u0446\u0435\u0439 \u0434\u043e \u0441\u0438\u0445 \u043f\u043e\u0440.<\/p>\n

\u0417\u0430 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0435 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0440\u0435\u043b\u0438\u0437\u043e\u0432 \u0432 typing \u0434\u043e\u0431\u0430\u0432\u0438\u043b\u043e\u0441\u044c \u043c\u043d\u043e\u0433\u043e \u043d\u043e\u0432\u043e\u0433\u043e: \u0432 3.11 \u2014 Self<\/code> \u0438 Required<\/code>\/NotRequired<\/code>, \u0432 3.12 \u2014 \u0441\u0432\u043e\u0439 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u0434\u043b\u044f generic-\u0442\u0438\u043f\u043e\u0432 \u0438 \u0430\u043b\u0438\u0430\u0441\u043e\u0432, \u0432 3.13 \u2014 TypeIs<\/code> \u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043f\u043e \u0443\u043c\u043e\u043b\u0447\u0430\u043d\u0438\u044e \u0434\u043b\u044f \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u0442\u0438\u043f\u0430, \u0432 3.14 \u2014 \u0430\u043d\u043d\u043e\u0442\u0430\u0446\u0438\u0438 \u0431\u0435\u0437 \u043a\u0430\u0432\u044b\u0447\u0435\u043a. \u0414\u0430\u043b\u044c\u0448\u0435 \u0440\u0430\u0441\u0441\u043a\u0430\u0436\u0443, \u043a\u0430\u043a \u044d\u0442\u0438\u043c \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c\u0441\u044f \u043d\u0430 \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0435, \u0433\u0434\u0435 \u0443 \u043d\u043e\u0432\u043e\u0433\u043e \u0435\u0441\u0442\u044c \u043f\u043e\u0434\u0432\u043e\u0434\u043d\u044b\u0435 \u043a\u0430\u043c\u043d\u0438 \u0438 \u0447\u0442\u043e \u0434\u0435\u043b\u0430\u0442\u044c, \u0435\u0441\u043b\u0438 \u043f\u0440\u043e\u0435\u043a\u0442 \u043f\u043e\u043a\u0430 \u043d\u0435 \u043c\u043e\u0436\u0435\u0442 \u043f\u0435\u0440\u0435\u0439\u0442\u0438 \u043d\u0430 \u043d\u043e\u0432\u0443\u044e \u0432\u0435\u0440\u0441\u0438\u044e Python.<\/p>\n

\n

\u0412\u0441\u0435 \u043f\u0440\u0438\u043c\u0435\u0440\u044b \u0437\u0430\u043f\u0443\u0441\u043a\u0430\u043b\u0438\u0441\u044c \u043d\u0430 CPython 3.10.20, 3.11.15, 3.12.13, 3.13.14 \u0438 3.14.2. \u0421\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u0434\u0435\u043b\u0430\u043b mypy 2.3.1, ty 0.0.78 \u0438 pyright 1.1.414, \u043b\u0438\u043d\u0442\u0435\u0440\u043e\u043c \u0431\u044b\u043b Ruff 0.15.22. \u0422\u0435\u0440\u043c\u0438\u043d\u044b: \u00ab\u0440\u0430\u043d\u0442\u0430\u0439\u043c\u00bb \u044d\u0442\u043e \u0442\u043e, \u0447\u0442\u043e \u0434\u0435\u043b\u0430\u0435\u0442 \u0438\u043d\u0442\u0435\u0440\u043f\u0440\u0435\u0442\u0430\u0442\u043e\u0440, \u00abchecker\u00bb \u044d\u0442\u043e \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440 \u0432\u0440\u043e\u0434\u0435 mypy. \u041c\u043d\u043e\u0433\u0438\u0435 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u0438 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0442 \u0442\u043e\u043b\u044c\u043a\u043e \u0434\u043b\u044f checker\u2019\u0430, \u0438\u043d\u0442\u0435\u0440\u043f\u0440\u0435\u0442\u0430\u0442\u043e\u0440 \u0438\u0445 \u043d\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442, \u0438 \u044f \u0431\u0443\u0434\u0443 \u043d\u0430 \u044d\u0442\u043e \u0443\u043a\u0430\u0437\u044b\u0432\u0430\u0442\u044c.<\/p>\n<\/blockquote>\n

\u0413\u043b\u0430\u0432\u043d\u043e\u0435: \u0447\u0442\u043e \u0441\u0442\u0430\u043b\u043e \u043f\u0440\u043e\u0449\u0435<\/h2>\n

\u0421\u0432\u043e\u0434\u043a\u0430 \u043f\u043e \u0432\u0435\u0440\u0441\u0438\u044f\u043c, \u043f\u043e\u0434\u0440\u043e\u0431\u043d\u043e\u0441\u0442\u0438 \u043d\u0438\u0436\u0435.<\/p>\n

\n
\n\n\n\n\n\n\n\n\n\n\n\n\n\n
\n

\u0427\u0442\u043e<\/p>\n<\/th>\n

\n

\u041a\u0430\u043a \u0431\u044b\u043b\u043e<\/p>\n<\/th>\n

\n

\u041a\u0430\u043a \u0441\u0442\u0430\u043b\u043e<\/p>\n<\/th>\n

\n

\u0421 \u043a\u0430\u043a\u043e\u0439 \u0432\u0435\u0440\u0441\u0438\u0438<\/p>\n<\/th>\n<\/tr>\n

\n

\u041c\u0435\u0442\u043e\u0434 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u0441\u0432\u043e\u0439 \u043a\u043b\u0430\u0441\u0441<\/p>\n<\/td>\n

\n

TypeVar(bound=...)<\/code> \u043d\u0430 \u043a\u0430\u0436\u0434\u044b\u0439 \u043a\u043b\u0430\u0441\u0441<\/p>\n<\/td>\n

\n

Self<\/code><\/p>\n<\/td>\n

\n

3.11<\/p>\n<\/td>\n<\/tr>\n

\n

\u0427\u0430\u0441\u0442\u044c \u043a\u043b\u044e\u0447\u0435\u0439 TypedDict<\/code> \u043d\u0435 \u043e\u0431\u044f\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u0430<\/p>\n<\/td>\n

\n

total=False<\/code> \u0432 \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u043e\u043c \u043f\u043e\u0434\u043a\u043b\u0430\u0441\u0441\u0435<\/p>\n<\/td>\n

\n

Required<\/code>\/NotRequired<\/code><\/p>\n<\/td>\n

\n

3.11<\/p>\n<\/td>\n<\/tr>\n

\n

Generic-\u043a\u043b\u0430\u0441\u0441 \u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u044f<\/p>\n<\/td>\n

\n

T = TypeVar(\"T\")<\/code> \u0438 Generic[T]<\/code><\/p>\n<\/td>\n

\n

class Stack[T]<\/code>, def first[T]<\/code><\/p>\n<\/td>\n

\n

3.12<\/p>\n<\/td>\n<\/tr>\n

\n

\u0410\u043b\u0438\u0430\u0441 \u0442\u0438\u043f\u0430<\/p>\n<\/td>\n

\n

X: TypeAlias = \"...\"<\/code><\/p>\n<\/td>\n

\n

type X = ...<\/code><\/p>\n<\/td>\n

\n

3.12<\/p>\n<\/td>\n<\/tr>\n

\n

\u0412\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c<\/p>\n<\/td>\n

\n

TypeVar(\"T_co\", covariant=True)<\/code><\/p>\n<\/td>\n

\n

\u0432\u044b\u0432\u043e\u0434\u0438\u0442\u0441\u044f \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438<\/p>\n<\/td>\n

\n

3.12<\/p>\n<\/td>\n<\/tr>\n

\n

\u041f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u043f\u0435\u0440\u0435\u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f<\/p>\n<\/td>\n

\n

\u043d\u0435\u0442<\/p>\n<\/td>\n

\n

@override<\/code><\/p>\n<\/td>\n

\n

3.12<\/p>\n<\/td>\n<\/tr>\n

\n

\u0417\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043f\u043e \u0443\u043c\u043e\u043b\u0447\u0430\u043d\u0438\u044e \u0443 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430 \u0442\u0438\u043f\u0430<\/p>\n<\/td>\n

\n

TypeVar(default=...)<\/code><\/p>\n<\/td>\n

\n

class Box[T = int]<\/code><\/p>\n<\/td>\n

\n

3.13<\/p>\n<\/td>\n<\/tr>\n

\n

\u0421\u0443\u0436\u0435\u043d\u0438\u0435 \u0442\u0438\u043f\u0430<\/p>\n<\/td>\n

\n

TypeGuard<\/code><\/p>\n<\/td>\n

\n

TypeIs<\/code><\/p>\n<\/td>\n

\n

3.13<\/p>\n<\/td>\n<\/tr>\n

\n

\u041a\u043b\u044e\u0447\u0438 TypedDict<\/code> \u0442\u043e\u043b\u044c\u043a\u043e \u0434\u043b\u044f \u0447\u0442\u0435\u043d\u0438\u044f<\/p>\n<\/td>\n

\n

\u043d\u0435\u0442<\/p>\n<\/td>\n

\n

ReadOnly[...]<\/code><\/p>\n<\/td>\n

\n

3.13<\/p>\n<\/td>\n<\/tr>\n

\n

\u041e\u043f\u0435\u0440\u0435\u0436\u0430\u044e\u0449\u0438\u0435 \u0441\u0441\u044b\u043b\u043a\u0438<\/p>\n<\/td>\n

\n

\u043a\u0430\u0432\u044b\u0447\u043a\u0438 \u0438\u043b\u0438 from __future__ import annotations<\/code><\/p>\n<\/td>\n

\n

\u0431\u0435\u0437 \u043a\u0430\u0432\u044b\u0447\u0435\u043a<\/p>\n<\/td>\n

\n

3.14<\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<\/div>\n

Self \u0432\u043c\u0435\u0441\u0442\u043e TypeVar(bound=\u2026) (3.11)<\/h3>\n

\u041c\u0435\u0442\u043e\u0434, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0434\u043e\u043b\u0436\u0435\u043d \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0442\u044c \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440 \u0441\u0432\u043e\u0435\u0433\u043e \u043a\u043b\u0430\u0441\u0441\u0430, \u0430 \u043d\u0435 \u0431\u0430\u0437\u043e\u0432\u043e\u0433\u043e, \u0440\u0430\u043d\u044c\u0448\u0435 \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043b TypeVar<\/code>, \u043f\u0440\u0438\u0432\u044f\u0437\u0430\u043d\u043d\u043e\u0433\u043e \u043a \u044d\u0442\u043e\u043c\u0443 \u043a\u043b\u0430\u0441\u0441\u0443 \u0447\u0435\u0440\u0435\u0437 bound<\/code>:<\/p>\n

from typing import TypeVarTAnimal = TypeVar(\"TAnimal\", bound=\"Animal\")class Animal:    @classmethod    def create(cls: type[TAnimal]) -> TAnimal:        return cls()<\/code>
<\/span><\/a><\/div><\/pre>\n
\u0421 3.11 (PEP 673 [8]) \u0434\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u0435\u0441\u0442\u044c Self<\/code>, \u0431\u0435\u0437 \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u043e\u0439 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 \u043d\u0430 \u043a\u0430\u0436\u0434\u044b\u0439 \u043a\u043b\u0430\u0441\u0441:<\/p>\n
from typing import Self, reveal_typeclass Animal:    @classmethod    def create(cls) -> Self:        return cls()    def clone(self) -> Self:        return type(self)()class Dog(Animal):    passreveal_type(Dog.create())reveal_type(Dog().clone())<\/code>
<\/span><\/a><\/div><\/pre>\n
\u041e\u0431\u0430 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u0430 \u0432\u044b\u0432\u043e\u0434\u044f\u0442 \u043f\u043e\u0434\u043a\u043b\u0430\u0441\u0441, \u0430 \u043d\u0435 Animal<\/code>, \u043d\u043e Self<\/code> \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0438 \u0432 \u043e\u0431\u044b\u0447\u043d\u044b\u0445 \u043c\u0435\u0442\u043e\u0434\u0430\u0445 (clone<\/code>), \u0438 \u043d\u0435 \u043d\u0443\u0436\u043d\u043e \u043e\u0431\u044a\u044f\u0432\u043b\u044f\u0442\u044c TypeVar<\/code> \u0437\u0430\u043d\u043e\u0432\u043e \u0432 \u043a\u0430\u0436\u0434\u043e\u043c \u043a\u043b\u0430\u0441\u0441\u0435 \u0441 \u0442\u0435\u043c \u0436\u0435 \u043f\u0430\u0442\u0442\u0435\u0440\u043d\u043e\u043c \u2014 \u0430\u043b\u044c\u0442\u0435\u0440\u043d\u0430\u0442\u0438\u0432\u043d\u044b\u0439 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440, clone<\/code>, __enter__<\/code>, \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u044e\u0449\u0438\u0439 self<\/code>:<\/p>\n
\n\u0412\u044b\u0432\u043e\u0434 mypy, ty, pyright<\/summary>\n
\n
$ mypy example.pyexample.py:14: note: Revealed type is \"example.Dog\"example.py:15: note: Revealed type is \"example.Dog\"Success: no issues found in 1 source file$ ty check example.pyinfo[revealed-type]: Revealed type  --> example.py:14:13   |14 | reveal_type(Dog.create())   |             ^^^^^^^^^^^^ `Dog`info[revealed-type]: Revealed type  --> example.py:15:13   |15 | reveal_type(Dog().clone())   |             ^^^^^^^^^^^^^ `Dog`Found 2 diagnostics$ pyright example.pyexample.py:14:13 - information: Type of \"Dog.create()\" is \"Dog\"example.py:15:13 - information: Type of \"Dog().clone()\" is \"Dog\"0 errors, 0 warnings, 2 informations<\/code>
<\/span><\/a><\/div><\/pre>\n<\/div>\n<\/details>\n
Required \u0438 NotRequired (3.11)<\/h3>\n
\u0414\u043e 3.11 \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0447\u0430\u0441\u0442\u044c \u043a\u043b\u044e\u0447\u0435\u0439 TypedDict<\/code> \u043d\u0435\u043e\u0431\u044f\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u043c\u0438 \u043e\u0437\u043d\u0430\u0447\u0430\u043b\u043e \u0437\u0430\u0432\u043e\u0434\u0438\u0442\u044c \u0434\u0432\u0430 \u043a\u043b\u0430\u0441\u0441\u0430 \u0438 \u043d\u0430\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u0438\u0435:<\/p>\n
from typing import TypedDictclass _MovieBase(TypedDict):    title: strclass Movie(_MovieBase, total=False):    year: int<\/code>
<\/span><\/a><\/div><\/pre>\n
\u0421 3.11 (PEP 655 [9]) \u0442\u043e \u0436\u0435 \u0441\u0430\u043c\u043e\u0435 \u043f\u0438\u0448\u0435\u0442\u0441\u044f \u0432 \u043e\u0434\u043d\u043e\u043c \u043a\u043b\u0430\u0441\u0441\u0435:<\/p>\n
from typing import NotRequired, TypedDictclass Movie(TypedDict):    title: str    year: NotRequired[int]def f(m: Movie) -> None:    m[\"title\"]f({})<\/code>
<\/span><\/a><\/div><\/pre>\n
year<\/code> \u0442\u0435\u043f\u0435\u0440\u044c \u043d\u0435\u043e\u0431\u044f\u0437\u0430\u0442\u0435\u043b\u0435\u043d, \u0430 title<\/code> \u043e\u0441\u0442\u0430\u043b\u0441\u044f \u043e\u0431\u044f\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u043c \u043a\u043b\u044e\u0447\u043e\u043c; f({})<\/code> \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u0442 f<\/code> \u0441 \u043f\u0443\u0441\u0442\u044b\u043c \u0441\u043b\u043e\u0432\u0430\u0440\u0451\u043c, \u0433\u0434\u0435 title<\/code> \u043d\u0435\u0442, \u0438 \u0438\u043c\u0435\u043d\u043d\u043e \u043d\u0430 \u044d\u0442\u043e \u0443\u043a\u0430\u0437\u044b\u0432\u0430\u044e\u0442 \u0432\u0441\u0435 \u0442\u0440\u0438 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0430:<\/p>\n
\n\u0412\u044b\u0432\u043e\u0434 mypy, ty, pyright<\/summary>\n
\n
$ mypy example.pyexample.py:10: error: Missing key \"title\" for TypedDict \"Movie\"  [typeddict-item]Found 1 error in 1 file (checked 1 source file)$ ty check example.pyerror[invalid-argument-type]: Argument to function `f` is incorrect  --> example.py:10:3   |10 | f({})   |   ^^ Expected `Movie`, found `dict[Unknown, Unknown]`info: Function defined here --> example.py:7:5  |7 | def f(m: Movie) -> None:  |     ^ -------- Parameter declared hereerror[missing-typed-dict-key]: Missing required key 'title' in TypedDict `Movie` constructor  --> example.py:10:3   |10 | f({})   |   ^^Found 2 diagnostics$ pyright example.pyexample.py:10:3 - error: Argument of type \"dict[Any, Any]\" cannot be assigned to parameter \"m\" of type \"Movie\" in function \"f\"    \"title\" is required in \"Movie\" (reportArgumentType)1 error, 0 warnings, 0 informations<\/code>
<\/span><\/a><\/div><\/pre>\n<\/div>\n<\/details>\n
Generic \u0431\u0435\u0437 TypeVar (3.12)<\/h3>\n
\u0414\u043e 3.12 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 \u0442\u0438\u043f\u0430 \u043e\u0431\u044a\u044f\u0432\u043b\u044f\u043b\u0438 \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u043e\u0439 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 \u043c\u043e\u0434\u0443\u043b\u044f \u0438 \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u043b\u0438 Generic<\/code> \u0432 \u0431\u0430\u0437\u044b:<\/p>\n
from typing import Generic, TypeVarT = TypeVar(\"T\")class Stack(Generic[T]):    def __init__(self) -> None:        self._items: list[T] = []    def push(self, item: T) -> None:        self._items.append(item)    def pop(self) -> T:        return self._items.pop()def first(items: list[T]) -> T:    return items[0]<\/code>
<\/span><\/a><\/div><\/pre>\n
\u0421 3.12 (PEP 695 [2]) \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 \u0443\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043f\u0440\u044f\u043c\u043e \u0432 \u0437\u0430\u0433\u043e\u043b\u043e\u0432\u043a\u0435:<\/p>\n
class Stack[T]:    def __init__(self) -> None:        self._items: list[T] = []    def push(self, item: T) -> None:        self._items.append(item)    def pop(self) -> T:        return self._items.pop()def first[T](items: list[T]) -> T:    return items[0]<\/code>
<\/span><\/a><\/div><\/pre>\n
\u0418\u043c\u044f T<\/code> \u0436\u0438\u0432\u0451\u0442 \u0442\u043e\u043b\u044c\u043a\u043e \u0432\u043d\u0443\u0442\u0440\u0438 \u043a\u043b\u0430\u0441\u0441\u0430 \u0438\u043b\u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u0438, \u0432 \u0433\u043b\u043e\u0431\u0430\u043b\u044c\u043d\u043e\u0435 \u043f\u0440\u043e\u0441\u0442\u0440\u0430\u043d\u0441\u0442\u0432\u043e \u0438\u043c\u0451\u043d \u043e\u043d\u043e \u043d\u0435 \u043f\u043e\u043f\u0430\u0434\u0430\u0435\u0442. \u041e\u0434\u043d\u043e \u0438 \u0442\u043e \u0436\u0435 T<\/code> \u0431\u043e\u043b\u044c\u0448\u0435 \u043d\u0435 \u043f\u0435\u0440\u0435\u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u043c\u0435\u0436\u0434\u0443 \u043d\u0435\u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u043c\u0438 \u043a\u043b\u0430\u0441\u0441\u0430\u043c\u0438, \u0447\u0442\u043e \u0440\u0430\u043d\u044c\u0448\u0435 \u0431\u044b\u043b\u043e \u0438\u0441\u0442\u043e\u0447\u043d\u0438\u043a\u043e\u043c \u043f\u0443\u0442\u0430\u043d\u0438\u0446\u044b.<\/p>\n
\u0418 bound<\/code>, \u0438 constraints<\/code> \u0437\u0430\u043f\u0438\u0441\u044b\u0432\u0430\u044e\u0442\u0441\u044f \u0442\u0430\u043a \u0436\u0435 \u043a\u043e\u0440\u043e\u0442\u043a\u043e: def f[T: Hashable](x: T)<\/code>, def g[T: (int, str)](x: T)<\/code>. \u0414\u043b\u044f ParamSpec<\/code> \u0438 TypeVarTuple<\/code> \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442\u0441\u044f **P<\/code> \u0438 *Ts<\/code>. \u0421\u0430\u043c\u0438 TypeVarTuple<\/code> \u0438 Unpack<\/code> \u043f\u043e\u044f\u0432\u0438\u043b\u0438\u0441\u044c \u0440\u0430\u043d\u044c\u0448\u0435, \u0432 3.11 (PEP 646 [10]) \u2014 \u0434\u043e 3.12 \u0432\u0430\u0440\u0438\u0430\u0442\u0438\u0432\u043d\u044b\u0439 generic \u043e\u0431\u044a\u044f\u0432\u043b\u044f\u043b\u0441\u044f \u043a\u0430\u043a Generic[*Ts]<\/code>, \u043d\u043e\u0432\u044b\u0439 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u043b\u0438\u0448\u044c \u0441\u043e\u043a\u0440\u0430\u0442\u0438\u043b \u043e\u0431\u044a\u044f\u0432\u043b\u0435\u043d\u0438\u0435 \u0432 \u0437\u0430\u0433\u043e\u043b\u043e\u0432\u043a\u0435 \u043a\u043b\u0430\u0441\u0441\u0430.<\/p>\n
\u041e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 type (3.12)<\/h3>\n
\u0410\u043b\u0438\u0430\u0441\u044b \u0440\u0430\u043d\u044c\u0448\u0435 \u043e\u0431\u044a\u044f\u0432\u043b\u044f\u043b\u0438\u0441\u044c \u0447\u0435\u0440\u0435\u0437 TypeAlias<\/code>, \u0438 \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u0432\u043d\u044b\u0439 \u0430\u043b\u0438\u0430\u0441 \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u043b\u043e\u0441\u044c \u043f\u0438\u0441\u0430\u0442\u044c \u0441\u0442\u0440\u043e\u043a\u043e\u0439:<\/p>\n
from typing import TypeAliasJson: TypeAlias = \"dict[str, Json] | list[Json] | str | int | float | bool | None\"<\/code>
<\/span><\/a><\/div><\/pre>\n
\u0422\u0435\u043f\u0435\u0440\u044c \u0434\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u0435\u0441\u0442\u044c \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 type<\/code>:<\/p>\n
type Json = dict[str, Json] | list[Json] | str | int | float | bool | None<\/code>
<\/span><\/a><\/div><\/pre>\n
\u041f\u0440\u0430\u0432\u0430\u044f \u0447\u0430\u0441\u0442\u044c \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u0435\u0442\u0441\u044f \u043b\u0435\u043d\u0438\u0432\u043e, \u0442\u043e\u043b\u044c\u043a\u043e \u043a\u043e\u0433\u0434\u0430 \u0435\u0451 \u043a\u0442\u043e-\u0442\u043e \u0437\u0430\u043f\u0440\u043e\u0441\u0438\u0442, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0430\u043b\u0438\u0430\u0441 \u043c\u043e\u0436\u0435\u0442 \u0441\u0441\u044b\u043b\u0430\u0442\u044c\u0441\u044f \u043d\u0430 \u0441\u0430\u043c\u043e\u0433\u043e \u0441\u0435\u0431\u044f \u0438\u043b\u0438 \u043d\u0430 \u043a\u043b\u0430\u0441\u0441, \u043e\u0431\u044a\u044f\u0432\u043b\u0435\u043d\u043d\u044b\u0439 \u043d\u0438\u0436\u0435, \u0431\u0435\u0437 \u043a\u0430\u0432\u044b\u0447\u0435\u043a. \u0410\u043b\u0438\u0430\u0441\u044b \u0431\u044b\u0432\u0430\u044e\u0442 generic: type Pair[T] = tuple[T, T]<\/code>.<\/p>\n
TypeAlias<\/code> \u043f\u0440\u0438 \u044d\u0442\u043e\u043c \u043e\u0431\u044a\u044f\u0432\u043b\u0435\u043d \u0443\u0441\u0442\u0430\u0440\u0435\u0432\u0448\u0438\u043c, \u043d\u043e \u0441\u0440\u043e\u043a \u0443\u0434\u0430\u043b\u0435\u043d\u0438\u044f \u043d\u0435 \u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d [3].<\/p>\n
\u0412\u044b\u0432\u043e\u0434 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u0438 (3.12)<\/h3>\n
\u0414\u043b\u044f \u043f\u043e\u0432\u0441\u0435\u0434\u043d\u0435\u0432\u043d\u043e\u0439 \u0440\u0430\u0431\u043e\u0442\u044b \u044d\u0442\u043e, \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e, \u0441\u0430\u043c\u043e\u0435 \u043f\u043e\u043b\u0435\u0437\u043d\u043e\u0435 \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u0435 PEP 695. \u0420\u0430\u043d\u044c\u0448\u0435 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c \u043d\u0443\u0436\u043d\u043e \u0431\u044b\u043b\u043e \u043e\u0431\u044a\u044f\u0432\u043b\u044f\u0442\u044c \u0440\u0443\u043a\u0430\u043c\u0438:<\/p>\n
T_co = TypeVar(\"T_co\", covariant=True)class ReadOnlyBox(Generic[T_co]):    def __init__(self, item: T_co) -> None:        self._item = item    def get(self) -> T_co:        return self._item<\/code>
<\/span><\/a><\/div><\/pre>\n
\u0421 \u043d\u043e\u0432\u044b\u043c \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441\u043e\u043c checker \u0432\u044b\u0432\u043e\u0434\u0438\u0442 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c \u0438\u0437 \u0442\u043e\u0433\u043e, \u043a\u0430\u043a \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u0432 \u043a\u043b\u0430\u0441\u0441\u0435:<\/p>\n
class ReadOnlyBox[T]:    def __init__(self, item: T) -> None:        self._item = item    def get(self) -> T:        return self._itemclass MutableBox[T]:    def __init__(self, item: T) -> None:        self.item = itemdef show(box: ReadOnlyBox[int]) -> None: ...def edit(box: MutableBox[int]) -> None: ...ro: ReadOnlyBox[bool] = ReadOnlyBox(True)mu: MutableBox[bool] = MutableBox(True)show(ro)  # bool \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043f\u043e\u0434\u0442\u0438\u043f\u043e\u043c int, \u043a\u043e\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c \u0432\u044b\u0432\u0435\u0434\u0435\u043d\u0430edit(mu)  # \u0430\u0442\u0440\u0438\u0431\u0443\u0442 \u043c\u043e\u0436\u043d\u043e \u043f\u0435\u0440\u0435\u0437\u0430\u043f\u0438\u0441\u0430\u0442\u044c, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u043a\u043b\u0430\u0441\u0441 \u0438\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u0435\u043d<\/code>
<\/span><\/a><\/div><\/pre>\n
\u0412\u0441\u0435 \u0442\u0440\u0438 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0430 \u0441\u043e\u0433\u043b\u0430\u0448\u0430\u044e\u0442\u0441\u044f: show(ro)<\/code> \u043e\u043d\u0438 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u044e\u0442 \u043c\u043e\u043b\u0447\u0430, \u0430 \u043d\u0430 edit(mu)<\/code> \u0443\u043a\u0430\u0437\u044b\u0432\u0430\u044e\u0442 \u043a\u0430\u043a \u043d\u0430 \u043e\u0448\u0438\u0431\u043a\u0443 \u2014 MutableBox[bool]<\/code> \u0438 MutableBox[int]<\/code> \u043d\u0435\u0441\u043e\u0432\u043c\u0435\u0441\u0442\u0438\u043c\u044b.<\/p>\n
\n\u0412\u044b\u0432\u043e\u0434 mypy, ty, pyright<\/summary>\n
\n
$ mypy example.pyexample.py:22: error: Argument 1 to \"edit\" has incompatible type \"MutableBox[bool]\"; expected \"MutableBox[int]\"  [arg-type]Found 1 error in 1 file (checked 1 source file)$ ty check example.pyerror[invalid-argument-type]: Argument to function `edit` is incorrect  --> example.py:22:6   |22 | edit(mu)  # \u0430\u0442\u0440\u0438\u0431\u0443\u0442 \u043c\u043e\u0436\u043d\u043e \u043f\u0435\u0440\u0435\u0437\u0430\u043f\u0438\u0441\u0430\u0442\u044c, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u043a\u043b\u0430\u0441\u0441 \u0438\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u0435\u043d   |      ^^ Expected `MutableBox[int]`, found `MutableBox[bool]`info: `MutableBox` is invariant in its type parameterFound 1 diagnostic$ pyright example.pyexample.py:22:6 - error: Argument of type \"MutableBox[bool]\" cannot be assigned to parameter \"box\" of type \"MutableBox[int]\" in function \"edit\"    \"MutableBox[bool]\" is not assignable to \"MutableBox[int]\"      Type parameter \"T@MutableBox\" is invariant, but \"bool\" is not the same as \"int\" (reportArgumentType)1 error, 0 warnings, 0 informations<\/code>
<\/span><\/a><\/div><\/pre>\n<\/div>\n<\/details>\n
@override (3.12)<\/h3>\n
\u0414\u0435\u043a\u043e\u0440\u0430\u0442\u043e\u0440 typing.override<\/code> \u0433\u043e\u0432\u043e\u0440\u0438\u0442 checker\u2019\u0443, \u0447\u0442\u043e \u043c\u0435\u0442\u043e\u0434 \u043e\u0431\u044f\u0437\u0430\u043d \u043f\u0435\u0440\u0435\u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0442\u044c \u043c\u0435\u0442\u043e\u0434 \u0431\u0430\u0437\u043e\u0432\u043e\u0433\u043e \u043a\u043b\u0430\u0441\u0441\u0430. \u0412 \u0440\u0430\u043d\u0442\u0430\u0439\u043c\u0435 \u0434\u0435\u043a\u043e\u0440\u0430\u0442\u043e\u0440 \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442 \u2014 \u043e\u043d \u0442\u043e\u043b\u044c\u043a\u043e \u0432\u044b\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 \u0430\u0442\u0440\u0438\u0431\u0443\u0442 __override__<\/code>, \u0430 \u0432\u044b\u0437\u043e\u0432 \u043c\u0435\u0442\u043e\u0434\u0430 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043a\u0430\u043a \u043e\u0431\u044b\u0447\u043d\u043e. \u041e\u043f\u0435\u0447\u0430\u0442\u043a\u0443 \u0432 \u0438\u043c\u0435\u043d\u0438 \u0438\u043b\u0438 \u043f\u0435\u0440\u0435\u0438\u043c\u0435\u043d\u043e\u0432\u0430\u043d\u0438\u0435 \u0432 \u0431\u0430\u0437\u043e\u0432\u043e\u043c \u043a\u043b\u0430\u0441\u0441\u0435 \u0437\u0430\u043c\u0435\u0447\u0430\u0435\u0442 \u0442\u043e\u043b\u044c\u043a\u043e checker:<\/p>\n
from typing import overrideclass Base:    def run(self) -> None: ...class Child(Base):    @override    def runn(self) -> None: ...  # \u043e\u043f\u0435\u0447\u0430\u0442\u043a\u0430, \u043e\u0448\u0438\u0431\u043a\u0430 checker'\u0430<\/code>
<\/span><\/a><\/div><\/pre>\n
\n\u0412\u044b\u0432\u043e\u0434 mypy, ty, pyright<\/summary>\n
\n
$ mypy example.pyexample.py:8: error: Method \"runn\" is marked as an override, but no base method was found with this name  [misc]Found 1 error in 1 file (checked 1 source file)$ ty check example.pyerror[invalid-explicit-override]: Method `runn` is decorated with `@override` but does not override anything --> example.py:8:9  |7 |     @override  |     ---------8 |     def runn(self) -> None: ...  |         ^^^^info: No `runn` definitions were found on any superclasses of `Child`Found 1 diagnostic$ pyright example.pyexample.py:8:9 - error: Method \"runn\" is marked as override, but no base method of same name is present (reportGeneralTypeIssues)1 error, 0 warnings, 0 informations<\/code>
<\/span><\/a><\/div><\/pre>\n<\/div>\n<\/details>\n
\u0417\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043f\u043e \u0443\u043c\u043e\u043b\u0447\u0430\u043d\u0438\u044e (3.13)<\/h3>\n
\u0423 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u0442\u0438\u043f\u0430 \u043f\u043e\u044f\u0432\u0438\u043b\u0438\u0441\u044c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043f\u043e \u0443\u043c\u043e\u043b\u0447\u0430\u043d\u0438\u044e (PEP 696). \u0414\u043e 3.13 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 default<\/code> \u0432 typing.TypeVar<\/code> \u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u043e\u0432\u0430\u043b. \u0412 3.13 \u043e\u043d \u043f\u043e\u044f\u0432\u0438\u043b\u0441\u044f, \u0438 \u0432\u043c\u0435\u0441\u0442\u0435 \u0441 \u043d\u0438\u043c \u043f\u0440\u0438\u0448\u0451\u043b \u043d\u043e\u0432\u044b\u0439 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441:<\/p>\n
from typing import reveal_typeclass Box[T = int]:    def __init__(self, item: T | None = None) -> None:        self.item = itemdef f(b: Box, c: Box[str]) -> None:    reveal_type(b)  # Box[int], \u0441\u0440\u0430\u0431\u043e\u0442\u0430\u043b default    reveal_type(c)  # Box[str]<\/code>
<\/span><\/a><\/div><\/pre>\n
\u0413\u043e\u043b\u043e\u0435 Box<\/code> \u0432 \u0430\u043d\u043d\u043e\u0442\u0430\u0446\u0438\u0438 \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442 Box[int]<\/code>, \u0430 \u043d\u0435 Box[Any]<\/code>, \u0438 \u0432\u0441\u0435 \u0442\u0440\u0438 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0430 \u0432\u0438\u0434\u044f\u0442 \u044d\u0442\u043e \u043e\u0434\u0438\u043d\u0430\u043a\u043e\u0432\u043e:<\/p>\n
\n\u0412\u044b\u0432\u043e\u0434 mypy, ty, pyright<\/summary>\n
\n
$ mypy example.pyexample.py:8: note: Revealed type is \"example.Box[int]\"example.py:9: note: Revealed type is \"example.Box[str]\"Success: no issues found in 1 source file$ ty check example.pyinfo[revealed-type]: Revealed type --> example.py:8:17  |8 |     reveal_type(b)  |                 ^ `Box[int]`info[revealed-type]: Revealed type --> example.py:9:17  |9 |     reveal_type(c)  |                 ^ `Box[str]`Found 2 diagnostics$ pyright example.pyexample.py:8:17 - information: Type of \"b\" is \"Box[int]\"example.py:9:17 - information: Type of \"c\" is \"Box[str]\"0 errors, 0 warnings, 2 informations<\/code>
<\/span><\/a><\/div><\/pre>\n<\/div>\n<\/details>\n
\n
\u0412 \u0440\u0430\u043d\u0442\u0430\u0439\u043c\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043f\u043e \u0443\u043c\u043e\u043b\u0447\u0430\u043d\u0438\u044e \u043b\u0435\u0436\u0438\u0442 \u0432 Box.__type_params__[0].__default__<\/code>.<\/p>\n<\/blockquote>\n
TypeIs (3.13)<\/h3>\n
TypeGuard<\/code> \u0441\u0443\u0436\u0430\u0435\u0442 \u0442\u0438\u043f \u0442\u043e\u043b\u044c\u043a\u043e \u0432 \u0432\u0435\u0442\u043a\u0435 if<\/code>, \u0432 else<\/code> checker \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u0437\u043d\u0430\u0435\u0442. TypeIs<\/code> \u0441\u0443\u0436\u0430\u0435\u0442 \u0432 \u043e\u0431\u0435 \u0441\u0442\u043e\u0440\u043e\u043d\u044b:<\/p>\n
from typing import TypeGuard, TypeIs, reveal_typedef is_int(value: int | str) -> TypeIs[int]:    return isinstance(value, int)def is_int_guard(value: int | str) -> TypeGuard[int]:    return isinstance(value, int)def check_type_is(x: str | int) -> None:    if is_int(x):        reveal_type(x)  # int    else:        reveal_type(x)  # str, TypeIs \u0441\u0443\u0437\u0438\u043b \u0438 elsedef check_type_guard(y: str | int) -> None:    if is_int_guard(y):        reveal_type(y)  # int    else:        reveal_type(y)  # str | int, TypeGuard else \u043d\u0435 \u0441\u0443\u0436\u0430\u0435\u0442<\/code>
<\/span><\/a><\/div><\/pre>\n
\u0412\u0441\u0435 \u0442\u0440\u0438 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0430 \u0432\u0438\u0434\u044f\u0442 \u043e\u0434\u043d\u043e \u0438 \u0442\u043e \u0436\u0435: TypeIs<\/code> \u0441\u0443\u0436\u0430\u0435\u0442 \u0442\u0438\u043f \u0438 \u0432 if<\/code>, \u0438 \u0432 else<\/code>, TypeGuard<\/code> \u2014 \u0442\u043e\u043b\u044c\u043a\u043e \u0432 if<\/code>.<\/p>\n
\n\u0412\u044b\u0432\u043e\u0434 mypy, ty, pyright<\/summary>\n
\n
$ mypy example.pyexample.py:11: note: Revealed type is \"int\"example.py:13: note: Revealed type is \"str\"example.py:17: note: Revealed type is \"int\"example.py:19: note: Revealed type is \"str | int\"Success: no issues found in 1 source file$ ty check example.pyinfo[revealed-type]: Revealed type  --> example.py:11:21   |11 |         reveal_type(x)  # int   |                     ^ `int`info[revealed-type]: Revealed type  --> example.py:13:21   |13 |         reveal_type(x)  # str, TypeIs \u0441\u0443\u0437\u0438\u043b \u0438 else   |                     ^ `str`info[revealed-type]: Revealed type  --> example.py:17:21   |17 |         reveal_type(y)  # int   |                     ^ `int`info[revealed-type]: Revealed type  --> example.py:19:21   |19 |         reveal_type(y)  # str | int, TypeGuard else \u043d\u0435 \u0441\u0443\u0436\u0430\u0435\u0442   |                     ^ `str | int`Found 4 diagnostics$ pyright example.pyexample.py:11:21 - information: Type of \"x\" is \"int\"example.py:13:21 - information: Type of \"x\" is \"str\"example.py:17:21 - information: Type of \"y\" is \"int\"example.py:19:21 - information: Type of \"y\" is \"str | int\"0 errors, 0 warnings, 4 informations<\/code>
<\/span><\/a><\/div><\/pre>\n<\/div>\n<\/details>\n
\u0414\u043b\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u0439 \u0432\u0438\u0434\u0430 \u00ab\u044d\u0442\u043e str<\/code>?\u00bb TypeIs<\/code> \u043f\u043e\u0447\u0442\u0438 \u0432\u0441\u0435\u0433\u0434\u0430 \u0442\u043e, \u0447\u0442\u043e \u043d\u0443\u0436\u043d\u043e.<\/p>\n
ReadOnly (3.13)<\/h3>\n
ReadOnly<\/code> \u043f\u043e\u043c\u0435\u0447\u0430\u0435\u0442 \u043a\u043b\u044e\u0447 TypedDict<\/code> \u043a\u0430\u043a \u043d\u0435\u0438\u0437\u043c\u0435\u043d\u044f\u0435\u043c\u044b\u0439:<\/p>\n
from typing import ReadOnly, TypedDictclass Movie(TypedDict):    title: ReadOnly[str]    year: intm: Movie = {\"title\": \"Alien\", \"year\": 1979}m[\"year\"] = 1980       # \u043c\u043e\u0436\u043d\u043e, year \u043e\u0431\u044b\u0447\u043d\u044b\u0439 \u043a\u043b\u044e\u0447m[\"title\"] = \"Aliens\"  # \u043d\u0435\u043b\u044c\u0437\u044f, ReadOnly \u2014 \u043e\u0448\u0438\u0431\u043a\u0430 checker'\u0430 (\u043d\u0435 \u0432\u043b\u0438\u044f\u0435\u0442 \u043d\u0430 \u0440\u0430\u043d\u0442\u0430\u0439\u043c)<\/code>
<\/span><\/a><\/div><\/pre>\n
\u0415\u0434\u0438\u043d\u0441\u0442\u0432\u0435\u043d\u043d\u0430\u044f \u0441\u0442\u0440\u043e\u043a\u0430, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u043b\u043e\u043c\u0430\u0435\u0442 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0443, \u2014 \u043f\u0440\u0438\u0441\u0432\u0430\u0438\u0432\u0430\u043d\u0438\u0435 title<\/code>, \u0438 \u0432\u0441\u0435 \u0442\u0440\u0438 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0430 \u0443\u043a\u0430\u0437\u044b\u0432\u0430\u044e\u0442 \u0438\u043c\u0435\u043d\u043d\u043e \u043d\u0430 \u043d\u0435\u0451:<\/p>\n
\n\u0412\u044b\u0432\u043e\u0434 mypy, ty, pyright<\/summary>\n
\n
$ mypy example.pyexample.py:9: error: ReadOnly TypedDict key \"title\" TypedDict is mutated  [typeddict-readonly-mutated]Found 1 error in 1 file (checked 1 source file)$ ty check example.pyerror[invalid-assignment]: Cannot assign to key \"title\" on TypedDict `Movie` --> example.py:9:3  |9 | m[\"title\"] = \"Aliens\"  | - ^^^^^^^ key is marked read-only  | |  | TypedDict `Movie`info: Item declaration --> example.py:4:5  |4 |     title: ReadOnly[str]  |     -------------------- Read-only item declared hereFound 1 diagnostic$ pyright example.pyexample.py:9:1 - error: Could not assign item in TypedDict    \"title\" is a read-only key in \"Movie\" (reportTypedDictNotRequiredAccess)1 error, 0 warnings, 0 informations<\/code>
<\/span><\/a><\/div><\/pre>\n<\/div>\n<\/details>\n
\u0411\u0435\u0437 \u043a\u0430\u0432\u044b\u0447\u0435\u043a (3.14)<\/h3>\n
\u0412 3.14 \u0430\u043d\u043d\u043e\u0442\u0430\u0446\u0438\u0438 \u043f\u0435\u0440\u0435\u0441\u0442\u0430\u043b\u0438 \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u0442\u044c\u0441\u044f \u0432 \u043c\u043e\u043c\u0435\u043d\u0442 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0438\u043b\u0438 \u043a\u043b\u0430\u0441\u0441\u0430 (PEP 649 \u0438 749 [4]). \u0417\u043d\u0430\u0447\u0438\u0442, \u043a\u0430\u0432\u044b\u0447\u043a\u0438 \u0432\u043e\u043a\u0440\u0443\u0433 \u043e\u043f\u0435\u0440\u0435\u0436\u0430\u044e\u0449\u0438\u0445 \u0441\u0441\u044b\u043b\u043e\u043a \u0431\u043e\u043b\u044c\u0448\u0435 \u043d\u0435 \u043d\u0443\u0436\u043d\u044b:<\/p>\n
class Node:    def link(self, other: Node) -> Node:        return other<\/code>
<\/span><\/a><\/div><\/pre>\n
\u042d\u0442\u043e \u043a\u0430\u0441\u0430\u0435\u0442\u0441\u044f \u0438 \u0438\u043c\u0451\u043d, \u0438\u043c\u043f\u043e\u0440\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0445 \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u043e\u0434 if TYPE_CHECKING:<\/code>, \u043f\u043e\u043a\u0430 \u043d\u0438\u043a\u0442\u043e \u044d\u0442\u0438 \u0430\u043d\u043d\u043e\u0442\u0430\u0446\u0438\u0438 \u043d\u0435 \u0447\u0438\u0442\u0430\u0435\u0442. \u041f\u0440\u043e \u0442\u043e, \u0447\u0442\u043e \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442, \u043a\u043e\u0433\u0434\u0430 \u0447\u0438\u0442\u0430\u0435\u0442, \u043d\u0438\u0436\u0435.<\/p>\n
\u041d\u044e\u0430\u043d\u0441\u044b<\/h2>\n
type-\u0430\u043b\u0438\u0430\u0441 \u043d\u0435 \u043a\u043b\u0430\u0441\u0441<\/h3>\n
\u0410\u043b\u0438\u0430\u0441, \u0441\u043e\u0437\u0434\u0430\u043d\u043d\u044b\u0439 \u0447\u0435\u0440\u0435\u0437 type<\/code>, \u044d\u0442\u043e \u043e\u0431\u044a\u0435\u043a\u0442 typing.TypeAliasType<\/code>, \u0430 \u043d\u0435 \u0441\u0430\u043c \u0442\u0438\u043f. \u041f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 isinstance<\/code> \u0441 \u043d\u0438\u043c \u043d\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442:<\/p>\n
type Json = dict[str, Json] | list[Json] | str | int | float | bool | Noneisinstance({}, Json)# TypeError: isinstance() arg 2 must be a type, a tuple of types, or a union<\/code>
<\/span><\/a><\/div><\/pre>\n
\u0421\u0430\u043c\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0434\u043e\u0441\u0442\u0443\u043f\u043d\u043e \u0447\u0435\u0440\u0435\u0437 Json.__value__<\/code>. \u0415\u0441\u043b\u0438 \u043a\u043e\u0434 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442 \u0442\u0438\u043f\u044b \u0432 \u0440\u0430\u043d\u0442\u0430\u0439\u043c\u0435 \u0447\u0435\u0440\u0435\u0437 \u0430\u043b\u0438\u0430\u0441, \u043e\u0431\u044b\u0447\u043d\u0430\u044f \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f Json = dict | list | str | ...<\/code> \u043e\u0441\u0442\u0430\u0451\u0442\u0441\u044f \u0440\u0430\u0431\u043e\u0447\u0438\u043c \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043e\u043c.<\/p>\n
\u041f\u0440\u0430\u0432\u0438\u043b\u0430 Ruff UP040, UP046 \u0438 UP047 \u0443\u043c\u0435\u044e\u0442 \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u044b\u0432\u0430\u0442\u044c \u0441\u0442\u0430\u0440\u044b\u0439 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u0432 \u043d\u043e\u0432\u044b\u0439, \u043d\u043e \u0438\u0441\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043e\u043d\u0438 \u043f\u043e\u043c\u0435\u0447\u0430\u044e\u0442 \u043a\u0430\u043a \u043d\u0435\u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0435 [5], \u0438 \u043f\u043e\u0441\u043b\u0435 \u044d\u0442\u043e\u0433\u043e \u043d\u044e\u0430\u043d\u0441\u0430 \u043f\u043e\u043d\u044f\u0442\u043d\u043e \u043f\u043e\u0447\u0435\u043c\u0443. \u042f \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u043b \u043d\u0430 \u0446\u0435\u043b\u0438 py312. \u0411\u0435\u0437 --unsafe-fixes<\/code> Ruff \u0442\u043e\u043b\u044c\u043a\u043e \u0441\u043e\u043e\u0431\u0449\u0430\u0435\u0442 \u043e \u043d\u0430\u0440\u0443\u0448\u0435\u043d\u0438\u044f\u0445. \u0421 \u0444\u043b\u0430\u0433\u043e\u043c \u043e\u043d \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u0430\u043b Json: TypeAlias = \"dict[str, Json] | ...\"<\/code> \u0432 type Json = \"dict[str, Json] | ...\"<\/code> \u0438 \u043e\u0441\u0442\u0430\u0432\u0438\u043b \u043a\u0430\u0432\u044b\u0447\u043a\u0438, \u0430 \u044d\u0442\u043e \u0443\u0436\u0435 \u0441\u0442\u0440\u043e\u043a\u0430, \u0430 \u043d\u0435 \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u0435 \u0442\u0438\u043f\u043e\u0432. \u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0430\u0432\u0442\u043e\u0438\u0441\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u044f \u043d\u0443\u0436\u043d\u043e \u0447\u0438\u0442\u0430\u0442\u044c \u0433\u043b\u0430\u0437\u0430\u043c\u0438.<\/p>\n
\u041d\u043e\u0432\u044b\u0439 \u0438 \u0441\u0442\u0430\u0440\u044b\u0439 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u043d\u0435 \u0441\u043c\u0435\u0448\u0438\u0432\u0430\u044e\u0442\u0441\u044f<\/h3>\n
\u041a\u043b\u0430\u0441\u0441 \u0441 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430\u043c\u0438 \u0432 \u043a\u0432\u0430\u0434\u0440\u0430\u0442\u043d\u044b\u0445 \u0441\u043a\u043e\u0431\u043a\u0430\u0445 \u043d\u0435 \u0434\u043e\u043b\u0436\u0435\u043d \u043d\u0430\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u044c\u0441\u044f \u043e\u0442 Generic[T]<\/code>:<\/p>\n
class A[U](Generic[T]): ...# TypeError: Cannot inherit from Generic[...] multiple times.<\/code>
<\/span><\/a><\/div><\/pre>\n
\u041f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u044b \u0441\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435\u043c \u043f\u043e \u0443\u043c\u043e\u043b\u0447\u0430\u043d\u0438\u044e \u043e\u0431\u044f\u0437\u0430\u043d\u044b \u0441\u0442\u043e\u044f\u0442\u044c \u043f\u043e\u0441\u043b\u0435 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u0431\u0435\u0437 \u043d\u0435\u0433\u043e. \u0418\u043d\u0430\u0447\u0435 \u044d\u0442\u043e \u043e\u0448\u0438\u0431\u043a\u0430 \u043d\u0430 \u044d\u0442\u0430\u043f\u0435 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438:<\/p>\n
class B[T = int, U]: ...# SyntaxError: non-default type parameter 'U' follows default type parameter<\/code>
<\/span><\/a><\/div><\/pre>\n
\u0412\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c \u0431\u043e\u043b\u044c\u0448\u0435 \u043d\u0435 \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u0430 \u0432 \u043a\u043e\u0434\u0435<\/h3>\n
\u0420\u0430\u043d\u044c\u0448\u0435 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c \u0431\u044b\u043b\u0430 \u0432\u0438\u0434\u043d\u0430 \u0432 \u0438\u043c\u0435\u043d\u0438 T_co<\/code>. \u0422\u0435\u043f\u0435\u0440\u044c \u043e\u043d\u0430 \u0441\u043b\u0435\u0434\u0441\u0442\u0432\u0438\u0435 \u0443\u0441\u0442\u0440\u043e\u0439\u0441\u0442\u0432\u0430 \u043a\u043b\u0430\u0441\u0441\u0430. \u0421\u0442\u043e\u0438\u0442 \u0434\u043e\u0431\u0430\u0432\u0438\u0442\u044c \u0432 ReadOnlyBox<\/code> \u043c\u0435\u0442\u043e\u0434 set<\/code>, \u0438 \u043e\u043d \u0442\u0438\u0445\u043e \u0441\u0442\u0430\u043d\u0435\u0442 \u0438\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u044b\u043c, \u0430 \u043a\u043e\u0434, \u043f\u0435\u0440\u0435\u0434\u0430\u0432\u0430\u0432\u0448\u0438\u0439 ReadOnlyBox[bool]<\/code> \u043a\u0430\u043a ReadOnlyBox[int]<\/code>, \u043f\u0435\u0440\u0435\u0441\u0442\u0430\u043d\u0435\u0442 \u043f\u0440\u043e\u0445\u043e\u0434\u0438\u0442\u044c \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0443. \u0412 \u043f\u0443\u0431\u043b\u0438\u0447\u043d\u043e\u043c API \u0431\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a\u0438 \u0437\u0430 \u044d\u0442\u0438\u043c \u043d\u0443\u0436\u043d\u043e \u0441\u043b\u0435\u0434\u0438\u0442\u044c. \u0415\u0441\u043b\u0438 \u043d\u0443\u0436\u043d\u0430 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c, \u043e\u0442\u043b\u0438\u0447\u043d\u0430\u044f \u043e\u0442 \u0432\u044b\u0432\u0435\u0434\u0435\u043d\u043d\u043e\u0439, \u043e\u0441\u0442\u0430\u0451\u0442\u0441\u044f \u0441\u0442\u0430\u0440\u044b\u0439 TypeVar<\/code> \u0441 \u044f\u0432\u043d\u044b\u043c covariant=True<\/code>.<\/p>\n
\u0412 \u0440\u0430\u043d\u0442\u0430\u0439\u043c\u0435 \u043e\u0431\u044a\u0435\u043a\u0442 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430 \u044d\u0442\u043e\u0433\u043e \u043d\u0435 \u0437\u043d\u0430\u0435\u0442. \u0423 Box.__type_params__[0]<\/code> __infer_variance__<\/code> \u0440\u0430\u0432\u0435\u043d True<\/code>, \u0430 __covariant__<\/code> \u0438 __contravariant__<\/code> \u0440\u0430\u0432\u043d\u044b False<\/code>. \u0412\u044b\u0432\u043e\u0434 \u0434\u0435\u043b\u0430\u0435\u0442 \u0442\u043e\u043b\u044c\u043a\u043e checker.<\/p>\n
\u0415\u0441\u0442\u044c \u0438 \u043c\u0435\u043d\u0435\u0435 \u043e\u0447\u0435\u0432\u0438\u0434\u043d\u044b\u0439 \u0441\u043b\u0443\u0447\u0430\u0439: \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c \u0437\u0430\u0432\u0438\u0441\u0438\u0442 \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u043e\u0442 \u0442\u043e\u0433\u043e, \u043a\u0430\u043a \u043a\u043b\u0430\u0441\u0441 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 \u0441\u0430\u043c, \u043d\u043e \u0438 \u043e\u0442 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u0438 generic-\u0442\u0438\u043f\u0430 \u043f\u043e\u043b\u044f, \u0447\u0435\u0440\u0435\u0437 \u043a\u043e\u0442\u043e\u0440\u044b\u0439 T<\/code> \u043f\u0435\u0440\u0435\u0434\u0430\u0451\u0442\u0441\u044f \u0434\u0430\u043b\u044c\u0448\u0435. list<\/code> \u0441\u0430\u043c \u043f\u043e \u0441\u0435\u0431\u0435 \u0438\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u0435\u043d \u2014 \u0432 \u043d\u0435\u0433\u043e \u043c\u043e\u0436\u043d\u043e \u043f\u0438\u0441\u0430\u0442\u044c, \u2014 \u043f\u043e\u044d\u0442\u043e\u043c\u0443 T<\/code> \u0432\u043d\u0443\u0442\u0440\u0438 list[T]<\/code> \u043e\u0441\u0442\u0430\u0451\u0442\u0441\u044f \u0438\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0439 \u043f\u043e\u0437\u0438\u0446\u0438\u0435\u0439, \u0434\u0430\u0436\u0435 \u0435\u0441\u043b\u0438 \u043a\u043b\u0430\u0441\u0441 \u044d\u0442\u043e \u043f\u043e\u043b\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0447\u0438\u0442\u0430\u0435\u0442. Sequence<\/code>, \u043d\u0430\u043e\u0431\u043e\u0440\u043e\u0442, \u043d\u0435\u043c\u0443\u0442\u0438\u0440\u0443\u0435\u043c\u044b\u0439 \u0438\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441 \u0438 \u043a\u043e\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u0435\u043d, \u0442\u0430\u043a \u0447\u0442\u043e T<\/code> \u0432\u043d\u0443\u0442\u0440\u0438 Sequence[T]<\/code> \u0442\u043e\u0436\u0435 \u043e\u0441\u0442\u0430\u0451\u0442\u0441\u044f \u043a\u043e\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u044b\u043c:<\/p>\n
from collections.abc import Sequenceclass ListBox[T]:    def __init__(self, items: list[T]) -> None:        self._items = itemsclass SeqBox[T]:    def __init__(self, items: Sequence[T]) -> None:        self._items = itemslb: ListBox[bool] = ListBox([True, False])sb: SeqBox[bool] = SeqBox([True, False])lb2: ListBox[int] = lb  # error: list[T] \u0438\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u0435\u043d, ListBox[bool] != ListBox[int]sb2: SeqBox[int] = sb   # OK: Sequence[T] \u043a\u043e\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u0435\u043d, bool \u2014 \u043f\u043e\u0434\u0442\u0438\u043f int<\/code>
<\/span><\/a><\/div><\/pre>\n
\u0423 ListBox<\/code> \u0438 SeqBox<\/code> \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u044b \u0432\u044b\u0433\u043b\u044f\u0434\u044f\u0442 \u043e\u0434\u0438\u043d\u0430\u043a\u043e\u0432\u043e, \u0430 \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u0435 \u0440\u0430\u0437\u043d\u043e\u0435: ListBox<\/code> \u0438\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u0435\u043d, SeqBox<\/code> \u043a\u043e\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u0435\u043d, \u0438 \u0440\u0430\u0437\u043d\u0438\u0446\u0430 \u0446\u0435\u043b\u0438\u043a\u043e\u043c \u0432 \u0442\u0438\u043f\u0435 \u043f\u043e\u043b\u044f, \u0430 \u043d\u0435 \u0432 \u0442\u0435\u043b\u0435 __init__<\/code>.<\/p>\n
\n\u0412\u044b\u0432\u043e\u0434 mypy, ty, pyright<\/summary>\n
\n
$ mypy example.pyexample.py:17: error: Incompatible types in assignment (expression has type \"ListBox[bool]\", variable has type \"ListBox[int]\")  [assignment]Found 1 error in 1 file (checked 1 source file)$ ty check example.pyerror[invalid-assignment]: Object of type `ListBox[bool]` is not assignable to `ListBox[int]`  --> example.py:17:21   |17 | lb2: ListBox[int] = lb  # error: list[T] \u0438\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u0435\u043d, ListBox[bool] != ListBox[int]   |      ------------   ^^ Incompatible value of type `ListBox[bool]`   |      |   |      Declared typeinfo: `ListBox` is invariant in its type parameterFound 1 diagnostic$ pyright example.pyexample.py:17:21 - error: Type \"ListBox[bool]\" is not assignable to declared type \"ListBox[int]\"    \"ListBox[bool]\" is not assignable to \"ListBox[int]\"      Type parameter \"T@ListBox\" is invariant, but \"bool\" is not the same as \"int\" (reportAssignmentType)1 error, 0 warnings, 0 informations<\/code>
<\/span><\/a><\/div><\/pre>\n<\/div>\n<\/details>\n
\u041f\u0440\u0430\u043a\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0441\u043b\u0435\u0434\u0441\u0442\u0432\u0438\u0435: \u043f\u0443\u0431\u043b\u0438\u0447\u043d\u043e\u0435 \u043f\u043e\u043b\u0435 \u0442\u0438\u043f\u0430 list[T]<\/code> \u0434\u0435\u0440\u0436\u0438\u0442 \u043a\u043b\u0430\u0441\u0441 \u0438\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u044b\u043c \u043f\u043e T<\/code>, \u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0431\u044b \u043a\u043b\u0430\u0441\u0441 \u043d\u0438 \u0432\u044b\u0433\u043b\u044f\u0434\u0435\u043b read-only \u0441\u043d\u0430\u0440\u0443\u0436\u0438 \u2014 \u0441\u0430\u043c list<\/code> \u0440\u0430\u0437\u0440\u0435\u0448\u0430\u0435\u0442 \u0437\u0430\u043f\u0438\u0441\u044c. \u041a\u043e\u0433\u0434\u0430 \u043a\u043e\u043d\u0442\u0435\u0439\u043d\u0435\u0440 \u0442\u043e\u043b\u044c\u043a\u043e \u043e\u0442\u0434\u0430\u0451\u0442 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0438 \u043d\u0443\u0436\u043d\u0430 \u043a\u043e\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c, \u0442\u0438\u043f \u043f\u043e\u043b\u044f \u0441\u0442\u043e\u0438\u0442 \u0441\u0443\u0437\u0438\u0442\u044c \u0434\u043e Sequence[T]<\/code> \u0438\u043b\u0438 \u0434\u0440\u0443\u0433\u043e\u0433\u043e \u043d\u0435\u0438\u0437\u043c\u0435\u043d\u044f\u0435\u043c\u043e\u0433\u043e generic-\u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430, \u0430 \u043d\u0435 \u043e\u0441\u0442\u0430\u0432\u043b\u044f\u0442\u044c list[T]<\/code>.<\/p>\n
TypeIs \u0441\u0442\u0440\u043e\u0436\u0435 TypeGuard<\/h3>\n
TypeIs<\/code> \u0442\u0440\u0435\u0431\u0443\u0435\u0442, \u0447\u0442\u043e\u0431\u044b \u0441\u0443\u0436\u0435\u043d\u043d\u044b\u0439 \u0442\u0438\u043f \u0431\u044b\u043b \u043f\u043e\u0434\u0442\u0438\u043f\u043e\u043c \u0442\u0438\u043f\u0430 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430:<\/p>\n
def bad(x: int) -> TypeIs[str]:    return isinstance(x, str)# error: Narrowed type \"str\" is not a subtype of input type \"int\"  [narrowed-type-not-subtype]<\/code>
<\/span><\/a><\/div><\/pre>\n
\u0415\u0441\u043b\u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442 \u0447\u0442\u043e-\u0442\u043e, \u0447\u0442\u043e \u043d\u0435 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043f\u043e\u0434\u0442\u0438\u043f\u043e\u043c (\u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, list[object]<\/code> \u043d\u0430 list[str]<\/code>), \u043d\u0443\u0436\u0435\u043d TypeGuard<\/code>. \u041e\u043d \u0441\u0443\u0436\u0430\u0435\u0442 \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u0443\u044e \u0432\u0435\u0442\u043a\u0443 \u0438 \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u0443\u0435\u0442 \u043f\u0440\u043e else<\/code>.<\/p>\n
reveal_type \u2014 \u043d\u0435 \u0432\u0441\u0435\u0433\u0434\u0430 \u0431\u044b\u043b\u0430 \u043d\u0430\u0441\u0442\u043e\u044f\u0449\u0435\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0435\u0439<\/h3>\n
reveal_type<\/code>, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u0432 \u043f\u0440\u0438\u043c\u0435\u0440\u0430\u0445 \u0432\u044b\u0448\u0435, \u0432\u043e\u0448\u0451\u043b \u0432 typing<\/code> \u0442\u043e\u0436\u0435 \u0432 3.11. \u0414\u043e \u044d\u0442\u043e\u0433\u043e \u0438\u043c\u044f \u0431\u044b\u043b\u043e \u0441\u043e\u0433\u043b\u0430\u0448\u0435\u043d\u0438\u0435\u043c: mypy \u0440\u0430\u0441\u043f\u043e\u0437\u043d\u0430\u0432\u0430\u043b \u0432\u044b\u0437\u043e\u0432 reveal_type(x)<\/code> \u043a\u0430\u043a \u043e\u0442\u043b\u0430\u0434\u043e\u0447\u043d\u0443\u044e \u043a\u043e\u043c\u0430\u043d\u0434\u0443, \u0434\u0430\u0436\u0435 \u0431\u0435\u0437 \u0438\u043c\u043f\u043e\u0440\u0442\u0430, \u0438 \u043f\u0435\u0447\u0430\u0442\u0430\u043b \u0442\u0438\u043f \u0432 \u0441\u0432\u043e\u0439 \u0432\u044b\u0432\u043e\u0434. \u041d\u0430 \u0440\u0430\u043d\u0442\u0430\u0439\u043c\u0435 \u0442\u0430\u043a\u043e\u0433\u043e \u0438\u043c\u0435\u043d\u0438 \u043f\u0440\u043e\u0441\u0442\u043e \u043d\u0435 \u0431\u044b\u043b\u043e:<\/p>\n
x = 1reveal_type(x)  # \u0431\u0435\u0437 \u0438\u043c\u043f\u043e\u0440\u0442\u0430<\/code>
<\/span><\/a><\/div><\/pre>\n
mypy<\/code> \u0434\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u043a\u043e\u0434\u0430 \u043f\u043e-\u043f\u0440\u0435\u0436\u043d\u0435\u043c\u0443 \u043f\u0438\u0448\u0435\u0442 Revealed type is \"int\"<\/code>, \u043d\u043e \u0435\u0441\u043b\u0438 \u0444\u0430\u0439\u043b \u0437\u0430\u043f\u0443\u0441\u0442\u0438\u0442\u044c, \u0430 \u043d\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c, \u0431\u0443\u0434\u0435\u0442 NameError: name 'reveal_type' is not defined<\/code> \u2014 \u043d\u0430 \u043b\u044e\u0431\u043e\u0439 \u0432\u0435\u0440\u0441\u0438\u0438 Python, \u0432\u043a\u043b\u044e\u0447\u0430\u044f 3.11. \u0421 3.11 from typing import reveal_type<\/code> \u0434\u0430\u0451\u0442 \u043d\u0430\u0441\u0442\u043e\u044f\u0449\u0443\u044e \u0444\u0443\u043d\u043a\u0446\u0438\u044e: \u043e\u043d\u0430 \u043f\u0435\u0447\u0430\u0442\u0430\u0435\u0442 \u0442\u0438\u043f \u0432 stderr \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442 \u0431\u0435\u0437 \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u0439, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0435\u0451 \u043c\u043e\u0436\u043d\u043e \u043e\u0441\u0442\u0430\u0432\u043b\u044f\u0442\u044c \u0432 \u043a\u043e\u0434\u0435, \u0430 \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0432 \u0440\u0430\u0437\u043e\u0432\u044b\u0445 \u044d\u043a\u0441\u043f\u0435\u0440\u0438\u043c\u0435\u043d\u0442\u0430\u0445.<\/p>\n
ReadOnly \u0438 override \u0432 \u0440\u0430\u043d\u0442\u0430\u0439\u043c\u0435<\/h3>\n
ReadOnly<\/code> \u0432 \u0440\u0430\u043d\u0442\u0430\u0439\u043c\u0435 \u043d\u0435 \u0434\u0435\u043b\u0430\u0435\u0442 \u043d\u0438\u0447\u0435\u0433\u043e. \u0412 \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u0432\u044b\u0448\u0435 m[\"title\"] = \"Aliens\"<\/code> \u043d\u0430 3.13 \u0441\u043f\u043e\u043a\u043e\u0439\u043d\u043e \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0435\u0442\u0441\u044f, \u0430 Movie.__readonly_keys__<\/code> \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 title<\/code>. @override<\/code> \u0442\u043e\u0436\u0435 \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442 \u2014 \u043e\u043d \u0442\u043e\u043b\u044c\u043a\u043e \u0432\u044b\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 \u0430\u0442\u0440\u0438\u0431\u0443\u0442 __override__<\/code> \u043d\u0430 \u0444\u0443\u043d\u043a\u0446\u0438\u0438, \u0440\u0430\u043d\u0442\u0430\u0439\u043c \u0435\u043c\u0443 \u0432\u0435\u0440\u0438\u0442 \u043d\u0430 \u0441\u043b\u043e\u0432\u043e.<\/p>\n
\u041a\u0442\u043e \u0447\u0438\u0442\u0430\u0435\u0442 \u0430\u043d\u043d\u043e\u0442\u0430\u0446\u0438\u0438 \u0432 3.14<\/h3>\n
\u041a\u043e\u0433\u0434\u0430 \u0430\u043d\u043d\u043e\u0442\u0430\u0446\u0438\u0438 \u043d\u0435 \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u044e\u0442\u0441\u044f \u043f\u0440\u0438 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0438, \u043e\u0448\u0438\u0431\u043a\u0430 \u043f\u0435\u0440\u0435\u0435\u0437\u0436\u0430\u0435\u0442 \u0442\u0443\u0434\u0430, \u0433\u0434\u0435 \u0438\u0445 \u0447\u0438\u0442\u0430\u044e\u0442. \u041f\u0440\u0438\u043c\u0435\u0440 \u0441 \u0438\u043c\u0435\u043d\u0435\u043c \u0438\u0437 TYPE_CHECKING<\/code>:<\/p>\n
from typing import TYPE_CHECKING, get_type_hintsfrom annotationlib import Format, get_annotationsif TYPE_CHECKING:    from decimal import Decimaldef total(x: Decimal) -> Decimal:    return xprint(get_annotations(total, format=Format.FORWARDREF))# {'x': ForwardRef('Decimal', owner=<function total at ...>), 'return': ForwardRef('Decimal', ...)}print(get_annotations(total, format=Format.STRING))# {'x': 'Decimal', 'return': 'Decimal'}total.__annotations__       # NameError: name 'Decimal' is not definedget_type_hints(total)       # NameError: name 'Decimal' is not defined<\/code>
<\/span><\/a><\/div><\/pre>\n
def<\/code> \u043f\u0440\u043e\u0445\u043e\u0434\u0438\u0442, \u0430 \u0432\u043e\u0442 __annotations__<\/code> \u0438 get_type_hints()<\/code> \u0431\u0440\u043e\u0441\u0430\u044e\u0442 NameError<\/code>. \u041d\u043e\u0432\u044b\u0439 \u043c\u043e\u0434\u0443\u043b\u044c annotationlib<\/code> \u0443\u043c\u0435\u0435\u0442 \u0442\u0440\u0438 \u0444\u043e\u0440\u043c\u0430\u0442\u0430: VALUE<\/code> (\u043a\u0430\u043a \u0440\u0430\u043d\u044c\u0448\u0435), FORWARDREF<\/code> (\u043d\u0435\u0438\u0437\u0432\u0435\u0441\u0442\u043d\u044b\u0435 \u0438\u043c\u0435\u043d\u0430 \u043f\u0440\u0435\u0432\u0440\u0430\u0449\u0430\u044e\u0442\u0441\u044f \u0432 ForwardRef<\/code>) \u0438 STRING<\/code>. \u0411\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a\u0430\u043c, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0447\u0438\u0442\u0430\u044e\u0442 \u0430\u043d\u043d\u043e\u0442\u0430\u0446\u0438\u0438, What\u2019s New \u0440\u0435\u043a\u043e\u043c\u0435\u043d\u0434\u0443\u0435\u0442 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0438\u0442\u044c \u043d\u0430 get_annotations()<\/code> \u0441 \u0444\u043e\u0440\u043c\u0430\u0442\u043e\u043c FORWARDREF<\/code>, \u043a\u0430\u043a \u044d\u0442\u043e \u0441\u0434\u0435\u043b\u0430\u043b dataclasses<\/code> [4].<\/p>\n
\n
\u042d\u0442\u043e \u043d\u0435 \u0442\u0435\u043e\u0440\u0438\u044f. \u0420\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u0447\u0438\u043a\u0438 Mergify \u043e\u043f\u0438\u0441\u0430\u043b\u0438, \u043a\u0430\u043a \u043f\u0440\u0438 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0435 \u043d\u0430 3.14 \u0443\u043f\u0430\u043b FastAPI 0.128.0, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u043e\u043d \u0447\u0438\u0442\u0430\u043b \u0430\u043d\u043d\u043e\u0442\u0430\u0446\u0438\u0438 \u0441 \u0438\u043c\u0435\u043d\u0430\u043c\u0438 \u0438\u0437 TYPE_CHECKING<\/code>, \u0430 \u0438\u0441\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u0435 0.128.1 \u043f\u0435\u0440\u0435\u043a\u043b\u044e\u0447\u0438\u043b\u043e \u0435\u0433\u043e \u043d\u0430 Format.FORWARDREF<\/code> [6]. \u0418\u0445 \u043f\u043e\u0440\u044f\u0434\u043e\u043a \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0439: \u0441\u043d\u0430\u0447\u0430\u043b\u0430 \u043e\u0431\u043d\u043e\u0432\u0438\u0442\u044c \u0444\u0440\u0435\u0439\u043c\u0432\u043e\u0440\u043a\u0438, \u043f\u043e\u0442\u043e\u043c Python, \u0438 \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u043e\u0442\u043e\u043c \u0443\u0431\u0438\u0440\u0430\u0442\u044c \u043a\u0430\u0432\u044b\u0447\u043a\u0438 \u0438 from __future__ import annotations<\/code>.<\/p>\n<\/blockquote>\n
Union \u0438 | \u0441\u0442\u0430\u043b\u0438 \u043e\u0434\u043d\u0438\u043c \u0442\u0438\u043f\u043e\u043c (3.14)<\/h3>\n
\u0412 3.14 typing.Union<\/code> \u0438 types.UnionType<\/code> \u0441\u0442\u0430\u043b\u0438 \u043e\u0434\u043d\u0438\u043c \u0438 \u0442\u0435\u043c \u0436\u0435. \u0418\u0437 \u044d\u0442\u043e\u0433\u043e \u0441\u043b\u0435\u0434\u0443\u0435\u0442 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043c\u0435\u043b\u043e\u0447\u0435\u0439, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043b\u043e\u043c\u0430\u044e\u0442 \u043a\u043e\u0434, \u0441\u0440\u0430\u0432\u043d\u0438\u0432\u0430\u044e\u0449\u0438\u0439 \u043e\u0431\u044a\u0435\u043a\u0442\u044b \u0447\u0435\u0440\u0435\u0437 is<\/code> \u0438\u043b\u0438 \u0437\u0430\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0439 \u043d\u0430 repr<\/code>:<\/p>\n
from typing import UnionUnion[int, str] is Union[int, str]       # False (\u0440\u0430\u043d\u044c\u0448\u0435 True \u0438\u0437-\u0437\u0430 \u043a\u0435\u0448\u0430)Union[int, str] == (int | str)           # Truerepr(Union[int, str])                    # 'int | str', \u0430 \u043d\u0435 'typing.Union[int, str]'isinstance(int | str, Union)             # True (\u0440\u0430\u043d\u044c\u0448\u0435 TypeError)<\/code>
<\/span><\/a><\/div><\/pre>\n
\u0421\u0440\u0430\u0432\u043d\u0438\u0432\u0430\u0442\u044c \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u044f \u0441\u0442\u043e\u0438\u0442 \u0447\u0435\u0440\u0435\u0437 ==<\/code>, \u0430 \u0440\u0430\u0437\u0431\u0438\u0440\u0430\u0442\u044c \u0447\u0435\u0440\u0435\u0437 typing.get_origin()<\/code> \u0438 typing.get_args()<\/code>.<\/p>\n
\u0410 \u0435\u0441\u043b\u0438 \u043d\u0430 3.12 \u0438 \u0432\u044b\u0448\u0435 \u043f\u0435\u0440\u0435\u0439\u0442\u0438 \u043d\u0435\u043b\u044c\u0437\u044f<\/h2>\n
\u041c\u043d\u043e\u0433\u0438\u0435 \u043f\u0440\u043e\u0435\u043a\u0442\u044b \u043d\u0435 \u043c\u043e\u0433\u0443\u0442 \u0441\u0440\u0430\u0437\u0443 \u043f\u0435\u0440\u0435\u0441\u043a\u043e\u0447\u0438\u0442\u044c \u043d\u0430 3.14. \u0417\u0430\u0432\u0438\u0441\u0438\u043c\u043e\u0441\u0442\u0438, \u043e\u0431\u0440\u0430\u0437 \u0432 \u043f\u0440\u043e\u0434\u0435, \u043f\u043e\u043b\u0438\u0442\u0438\u043a\u0430 \u043a\u043e\u043c\u043f\u0430\u043d\u0438\u0438. \u0418\u0437 \u043d\u043e\u0432\u043e\u0433\u043e \u043a\u043e\u0435-\u0447\u0442\u043e \u0434\u043e\u0441\u0442\u0443\u043f\u043d\u043e \u0438 \u043d\u0430 \u0441\u0442\u0430\u0440\u044b\u0445 \u0432\u0435\u0440\u0441\u0438\u044f\u0445, \u043d\u043e \u043d\u0435 \u0432\u0441\u0451, \u0438 \u0442\u043e, \u0447\u0442\u043e \u0438\u043c\u0435\u043d\u043d\u043e \u0434\u043e\u0441\u0442\u0443\u043f\u043d\u043e, \u0437\u0430\u0432\u0438\u0441\u0438\u0442 \u043e\u0442 \u0442\u0438\u043f\u0430 \u0444\u0438\u0447\u0438.<\/p>\n
\u0421\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u043d\u0435 \u0431\u044d\u043a\u043f\u043e\u0440\u0442\u0438\u0440\u0443\u0435\u0442\u0441\u044f<\/h3>\n
\u041d\u043e\u0432\u044b\u0439 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u043e\u0442\u043d\u043e\u0441\u0438\u0442\u0441\u044f \u043a \u043f\u0430\u0440\u0441\u0435\u0440\u0443, \u0430 \u043d\u0435 \u043a \u0431\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a\u0435: class C[T]<\/code>, def f[T]<\/code>, \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 type<\/code>, [T = int]<\/code> \u0434\u043b\u044f \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043f\u043e \u0443\u043c\u043e\u043b\u0447\u0430\u043d\u0438\u044e. \u041d\u0430 3.10\u20133.11 \u0442\u0430\u043a\u043e\u0439 \u043a\u043e\u0434 \u043f\u0430\u0434\u0430\u0435\u0442 \u0441 SyntaxError: invalid syntax<\/code>, \u0438 \u043d\u0438\u043a\u0430\u043a\u043e\u0439 \u043f\u0430\u043a\u0435\u0442 \u044d\u0442\u043e \u043d\u0435 \u043e\u0431\u0445\u043e\u0434\u0438\u0442. from __future__ import annotations<\/code> \u0442\u043e\u0436\u0435 \u043d\u0435 \u043f\u043e\u043c\u043e\u0433\u0430\u0435\u0442, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u043f\u0430\u0440\u0441\u0435\u0440 \u0440\u0430\u0437\u0431\u0438\u0440\u0430\u0435\u0442 \u0444\u0430\u0439\u043b \u0434\u043e \u0442\u043e\u0433\u043e, \u043a\u0430\u043a \u0438\u043c\u043f\u043e\u0440\u0442 \u043d\u0430 \u0447\u0442\u043e-\u0442\u043e \u043f\u043e\u0432\u043b\u0438\u044f\u0435\u0442:<\/p>\n
class Box[T]: ...        # SyntaxError \u043d\u0430 <=3.11class Box[T = int]: ...  # SyntaxError \u043d\u0430 <=3.12<\/code>
<\/span><\/a><\/div><\/pre>\n
typing_extensions \u0434\u043b\u044f \u043d\u043e\u0432\u044b\u0445 \u043a\u043b\u0430\u0441\u0441\u043e\u0432<\/h3>\n
TypeIs<\/code>, ReadOnly<\/code>, override<\/code> \u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043f\u043e \u0443\u043c\u043e\u043b\u0447\u0430\u043d\u0438\u044e \u0443 TypeVar<\/code> \u043d\u0435 \u043c\u0435\u043d\u044f\u044e\u0442 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441. \u042d\u0442\u043e \u043e\u0431\u044b\u0447\u043d\u044b\u0435 \u043e\u0431\u044a\u0435\u043a\u0442\u044b \u043c\u043e\u0434\u0443\u043b\u044f typing<\/code>. \u041f\u0430\u043a\u0435\u0442 typing_extensions<\/code> \u043f\u0440\u0438\u043d\u043e\u0441\u0438\u0442 \u0438\u0445 \u0436\u0435 \u043d\u0430 \u0441\u0442\u0430\u0440\u044b\u0435 \u0432\u0435\u0440\u0441\u0438\u0438, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0431\u043e\u043b\u044c\u0448\u0430\u044f \u0447\u0430\u0441\u0442\u044c \u0444\u0438\u0447 3.12 \u0438 3.13 \u0434\u043e\u0441\u0442\u0443\u043f\u043d\u0430 \u043d\u0430 3.7\u20133.11 \u0431\u0435\u0437 \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u0439 \u0432 \u0440\u0430\u043d\u0442\u0430\u0439\u043c\u0435, \u0440\u0430\u0437\u043d\u0438\u0446\u0430 \u0442\u043e\u043b\u044c\u043a\u043e \u0432 \u0438\u0441\u0442\u043e\u0447\u043d\u0438\u043a\u0435 \u0438\u043c\u043f\u043e\u0440\u0442\u0430.<\/p>\n
from __future__ import annotations \u0434\u043b\u044f \u0430\u043d\u043d\u043e\u0442\u0430\u0446\u0438\u0439<\/h3>\n
\u0418\u043c\u043f\u043e\u0440\u0442 \u0438\u0437 __future__<\/code> (PEP 563, \u0434\u043e\u0441\u0442\u0443\u043f\u0435\u043d \u0441 3.7) \u0437\u0430\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 \u0438\u043d\u0442\u0435\u0440\u043f\u0440\u0435\u0442\u0430\u0442\u043e\u0440 \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0442\u044c \u0432\u0441\u0435 \u0430\u043d\u043d\u043e\u0442\u0430\u0446\u0438\u0438 \u043c\u043e\u0434\u0443\u043b\u044f \u0441\u0442\u0440\u043e\u043a\u0430\u043c\u0438 \u0438 \u043d\u0435 \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u0442\u044c \u0438\u0445. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0432 \u0430\u043d\u043d\u043e\u0442\u0430\u0446\u0438\u0438 \u043c\u043e\u0436\u043d\u043e \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u0442\u043e, \u0447\u0442\u043e \u043f\u0430\u0440\u0441\u0435\u0440 \u044d\u0442\u043e\u0439 \u0432\u0435\u0440\u0441\u0438\u0438 \u0440\u0430\u0437\u0431\u0438\u0440\u0430\u0435\u0442, \u0430 \u0438\u043d\u0442\u0435\u0440\u043f\u0440\u0435\u0442\u0430\u0442\u043e\u0440 \u0432\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u044c \u0431\u044b \u043d\u0435 \u0441\u043c\u043e\u0433. \u041f\u0440\u0438\u043c\u0435\u0440, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0431\u0435\u0437 \u0438\u043c\u043f\u043e\u0440\u0442\u0430 \u043f\u0430\u0434\u0430\u0435\u0442 \u043d\u0430 3.10 \u0438 3.13, \u0430 \u0441 \u043d\u0438\u043c \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442:<\/p>\n
from __future__ import annotations as _annotationsfrom typing import TYPE_CHECKINGif TYPE_CHECKING:    from decimal import Decimal    from typing_extensions import TypeIsclass Node:    def link(self, other: Node) -> Node:        return otherdef total(x: Decimal) -> Decimal:    return xdef is_str(x: object) -> TypeIs[str]:    return isinstance(x, str)<\/code>
<\/span><\/a><\/div><\/pre>\n
\u0411\u0435\u0437 \u043f\u0435\u0440\u0432\u043e\u0439 \u0441\u0442\u0440\u043e\u043a\u0438 \u043d\u0430 3.10.20 \u0438 3.13.14 \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c NameError: name 'Node' is not defined<\/code>, \u0441 \u043d\u0435\u0439 \u0444\u0430\u0439\u043b \u0438\u043c\u043f\u043e\u0440\u0442\u0438\u0440\u0443\u0435\u0442\u0441\u044f.<\/p>\n
\u042d\u0442\u043e \u0434\u0430\u0451\u0442 \u0441\u0440\u0430\u0437\u0443 \u0442\u0440\u0438 \u0432\u0435\u0449\u0438 \u0432 \u0430\u043d\u043d\u043e\u0442\u0430\u0446\u0438\u044f\u0445:<\/p>\n