한양과학기술고등학교

def greet(name: str, times: int = 1) -> str:
    return f"hi {name}" * times

age: int = 20
scores: list[int] = []
config: dict[str, str] = {}
point: tuple[float, float] = (1.0, 2.0)

def find(id: int) -> str | None:      # 3.10+ 권장 표기
    ...

from typing import Optional, Union
def find(id: int) -> Optional[str]:   # == str | None
    ...

value: int | str = 0                  # 둘 중 하나

from typing import Callable, Iterable, Iterator, Any

handler: Callable[[int, str], bool]   # (int, str) -> bool
items: Iterable[int]
def gen() -> Iterator[int]: ...

def process(data: list[dict[str, Any]]) -> None: ...

from collections.abc import Sequence   # 더 넓은 추상 타입
def first(seq: Sequence[int]) -> int:
    return seq[0]

type Vector = list[float]            # 3.12+ 별칭 문법
Matrix = list[list[float]]           # 그 이전

from typing import TypedDict
class User(TypedDict):
    name: str
    age: int
u: User = {"name": "김", "age": 20}

def first[T](items: list[T]) -> T:   # 3.12+ 제네릭 함수
    return items[0]

class Stack:
    def __init__(self) -> None:
        self._items: list[int] = []

    def push(self, x: int) -> None:
        self._items.append(x)

    def pop(self) -> int:
        return self._items.pop()

# 자기 클래스 참조는 문자열 또는 from __future__ import annotations
def clone(self) -> "Stack": ...

# 힌트는 강제되지 않음 — 이 호출도 실행됨
greet(123)          # mypy 는 경고, 파이썬은 실행

import typing
typing.get_type_hints(greet)   # 힌트를 dict 로

# 검사 도구
#   pip install mypy && mypy myfile.py
#   pyright / ruff 도 타입 체크 지원