from enum import Enum
class Color(Enum):
    Red = "r"
    Green = "g"
    Blue = "b"

def do_something_interesting(value: int) -> None:
    ...

from typing import Tuple
empty: Tuple[()] = ()

from enum import Enum
from typing import Union
class Default(Enum):
    Value = 0
def process(value: Union[int, None, Default] = Default.Value) -> int:
    if value is Default.Value:
        return 0
    elif value is None:
        return 1
    else:
        # В этой ветке mypy "понимает", что value имеет тип int,
        # и поэтому операция умножения допустима
        return value * 2

from typing import NoReturn
def stop() -> NoReturn:
    raise RuntimeError("Не получится!")

from typing import NoReturn
def stop(value: int) -> NoReturn:
    if value < 0:
        return 42
    raise RuntimeError("Не получится!")

error: Return statement in function which does not return
    return 42

from typing import NoReturn
value: NoReturn = None
other_value: NoReturn = ()

error: Incompatible types in assignment (expression has type "None",
variable has type "NoReturn")
    value = None
error: Incompatible types in assignment (expression has type "Tuple[]",
variable has type "NoReturn")
    other_value: NoReturn = ()

from enum import Enum
from typing import Tuple
class ChessPieceType(Enum):
    """Тип шахматной фигуры."""
    King = "Король"
    Queen = "Ферзь"
    Rook = "Ладья"
    Bishop = "Слон"
    Knight = "Конь"
    Pawn = "Пешка"
class ChessPieceColor(Enum):
    """Цвет шахматной фигуры."""
    White = "Белый"
    Black = "Черный"
ChessPiece = Tuple[ChessPieceType, ChessPieceColor]
# Белый король
white_king: ChessPiece = (ChessPieceType.King, ChessPieceColor.White)
# Черный ферзь
black_queen: ChessPiece = (ChessPieceType.Queen, ChessPieceColor.Black)

# продолжение предыдущего примера
# Шахматная фигура — это тип фигуры
#   И цвет фигуры
#   И позиция фигуры на доске
ChessPiece = Tuple[ChessPieceType, ChessPieceColor, PositionOnBoard]

from dataclasses import dataclass
from enum import Enum
class Role(Enum):
    Administrator = 0
    Editor = 1
    Reader = 2
@dataclass(frozen=True)
class User:
    name: str
    role: Role
    is_active: bool

# продолжение предыдущего примера
def get_user_info(user: User) -> str:
    # Автору этого кода почему-то захотелось прибавить число 42
    # к имени пользователя...
    name = user.name + 42
    return f"{name}: {user.role.name} {user.is_active}"

error: Unsupported operand types for + ("str" and "int")
    name = user.name + 42

from dataclasses import dataclass
from typing import NoReturn
@dataclass(frozen=True)
class Ooops:
    number: int
    string: str
    nothing: NoReturn

# продолжение предыдущего примера
Ooops(42, "hello", None)

error: Argument 3 to "Ooops" has incompatible type "None"; expected "NoReturn"
    Ooops(42, "hello", None)

from enum import Enum
class Fruit(Enum):
    Apple = "яблоко"
    Banana = "банан"
    Peach = "персик"

from enum import Enum
from typing import Union
class Fruit(Enum):
    Apple = "яблоко"
    Banana = "банан"
    Peach = "персик"
class Vegetable(Enum):
    Cabbage = "капуста"
    Carrot = "морковь"
Food = Union[Fruit, Vegetable]
apple: Food = Fruit.Apple  # OK
carrot: Food = Vegetable.Carrot  # OK
# Mypy error:  Incompatible types in assignment (expression has type "int",
# variable has type "Union[Fruit, Vegetable]")
hmmm: Food = 42

from dataclasses import dataclass
from typing import Union
@dataclass(frozen=True)
class AddressDetails:
    city: str
    street: str
    house_number: int
Address = Union[str, AddressDetails]

# продолжение предыдущего примера
def do_something_with_address(address: Address) -> None:
    if isinstance(address, str):
        print("Адрес — это строка:", address)
    elif isinstance(address, AddressDetails):
        print(f"Адрес: {address.city}, {address.street}, {address.house_number}")
    else:
        assert False, "Больше вариантов нет!"

from dataclasses import dataclass
from typing import Optional
@dataclass(frozen=True)
class Article:
    id: int
    title: str
def fetch_article(article_id: int) -> Optional[Article]:
    """Получаем статью по её ID каким-то образом."""
def show_article() -> None:
    article = fetch_article(42)
    print("Заголовок статьи:", article.title)

error: Item "None" of "Optional[Article]" has no attribute "title"
    print("Заголовок статьи:", article.title)

# продолжение предыдущего примера
def show_article() -> None:
    article = fetch_article(42)
    if article is None:
        print("Статьи не существует.")
    else:
        # Здесь mypy "понимает", что article точно не None,
        # т.к. выше в коде этот случай обработан
        print("Заголовок статьи:", article.title)

from dataclasses import dataclass
from typing import Union
@dataclass(frozen=True)
class SignInWithEmail:
    email: str
    password: str
@dataclass(frozen=True)
class SignInWithSms:
    phone_number: str
    code: str
@dataclass(frozen=True)
class SignInWithSecretToken:
    token: str
SignInMethod = Union[
    SignInWithEmail,
    SignInWithSms,
    SignInWithSecretToken,
]

# продолжение предыдущего примера
from typing import NoReturn
def assert_never(value: NoReturn) -> NoReturn:
    raise AssertionError(f"Необработанный вариант: {value}")
def sign_in(method: SignInMethod) -> None:
    if isinstance(method, SignInWithEmail):
        print("Вход на сайт по email и паролю:", method.email, method.password)
    elif isinstance(method, SignInWithSms):
        print("Вход на сайт через SMS-код:", method.phone_number, method.code)
    elif isinstance(method, SignInWithSecretToken):
        print("Вход на сайт с секретным токеном:", method.token)
    else:
        assert_never(method)

# продолжение предыдущего примера
SignInMethod = Union[
    SignInWithEmail,
    SignInWithSms,
    SignInWithSecretToken,
    int,
]
def sign_in(method: SignInMethod) -> None:
    # Этот метод остался без изменений
    ...

error: Argument 1 to "assert_never" has incompatible type "int"; expected "NoReturn"
   assert_never(method)

# Python 3.10
# продолжение предыдущего примера
def sign_in(method: SignInMethod) -> None:
    match method:
        case SignInWithEmail(email=email, password=passw):
            print("Вход на сайт по email и паролю:", email, passw)
        case SignInWithSms(phone_number=pn, code=code):
            print("Вход на сайт через SMS-код:", pn, code)
        case SignInWithSecretToken(token=token):
            print("Вход на сайт с секретным токеном:", token)
# Выведет: Вход на сайт по email и паролю: email@example.org password123
sign_in(SignInWithEmail("email@example.org", "password123"))
# Выведет: Вход на сайт через SMS-код: 79001234567 abcd
sign_in(SignInWithSms("79001234567", "abcd"))
# Выведет: Вход на сайт с секретным токеном: secret-token
sign_in(SignInWithSecretToken("secret-token"))