اعلان نوع و جنریک‌ها

from typing import TypeVar, Generic

T = 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:
        if not self._items:
            raise IndexError("پشته خالی است.")
        return self._items.pop()

سه حقیقتِ مهم: (۱) اعلان نوع در اجرا اجبار نمی‌شود — Stack[str] جلوی push(123) را نمی‌گیرد؛ (۲) ارزشش در خوانایی و بررسی ایستا با mypy است؛ (۳) برای رفتارِ واقعاً متفاوت بین نوع‌ها (نه فقط برچسب نوع) از functools.singledispatch استفاده کن، نه از تقلیدِ overload جاوا — پایتون overload امضایی ندارد و امضای دوم، اولی را جایگزین می‌کند.