mypy-play

class Meta(type):
    def m(cls) -> int:
        return 0

    def __add__(cls, other) -> int:
        return 0

class A(metaclass=Meta):
    @classmethod
    def m(cls) -> str:

mypy-play

from typing import Callable, Coroutine
from logging import getLogger

logger = getLogger(__name__)

class StatsD:
    
    def increment(self, metric: str) -> None:
        ...
        

mypy-play

import dataclasses
import pymock

@dataclasses.dataclass(frozen=True)
class F:
  a: int = 4
  b: float = 1/a

@dataclasses.dataclass(frozen=True)
class G:

mypy-play

import itertools
import typing as t
from collections import abc
from pathlib import Path


class PackageSpec(t.NamedTuple):
    package_name: str
    locked_ver: str | None

mypy-play

class MyClass:

    _my_field: int

    def __init__(self) -> None:
        pass

    def foo(self) -> int:
        return self._my_field # Используется не инициализированной. 
        

mypy-play

from typing import reveal_type
def non_optional[T](value: T|None)->T:
    assert value is not None
    return value

def f(x: int|None):
    reveal_type(x)
    y = non_optional(x)
    reveal_type(y)

mypy-play

options: list[tuple[int, *tuple[str, ...]]] = [(1, 'a'), (2, 'b', 'c')]
for i, *s in options:
    print(hex(i), '_'.join(s))

mypy-play

for i, s in [(1, ('a',)), (2, ('b', 'c'))]:
    print(hex(i), '_'.join(s))

mypy-play

options: list[tuple[int, *tuple[str, ...]]] = [(1, 'a'), (2, 'b', 'c')]
for i, *s in options:
    print(hex(i), '_'.join(s))

mypy-play

for i, *s in [(1, 'a'), (2, 'b', 'c')]:
    print(hex(i), '_'.join(s))