타입 힌트 — 실행을 바꾸지 않는 검사 가능한 문서

def greet(name: str, age: int) -> str:
    return f"hi {name}, age {age}"

# 변수 어노테이션
user_id: int = 42
users: list[str] = ["alice", "bob"]
config: dict[str, int] = {"port": 8000, "workers": 4}

# 어노테이션이 함수에 저장
print(greet.__annotations__)
# {'name': <class 'str'>, 'age': <class 'int'>, 'return': <class 'str'>}

# 런타임에서는 강제하지 않음 — 런타임에 작동, mypy 가 잡음
greet(123, "oops")

# 옛 스타일 (여전히 작동)
from typing import List, Dict, Tuple, Set
def old_style(items: List[int]) -> Dict[str, int]:
    return {str(i): i for i in items}

# 현대 스타일 (3.9+) — 선호
def modern(items: list[int]) -> dict[str, int]:
    return {str(i): i for i in items}

# Tuple — 고정 크기와 가변 크기
Point = tuple[float, float]                  # 정확히 2 floats
MixedTuple = tuple[int, str, bool]            # 위치별 특정 타입
IntList = tuple[int, ...]                     # 가변 길이, 모두 int

# 옛 스타일
from typing import Optional, Union
def old(x: Optional[int]) -> Union[str, None]:
    if x is None:
        return None
    return str(x)

# 현대 (3.10+)
def modern(x: int | None) -> str | None:
    if x is None:
        return None
    return str(x)

# 디폴트 값 패턴 — None 의 가장 흔한 사용
def fetch(key: str, default: str | None = None) -> str | None:
    return {"a": "alpha"}.get(key, default)

from typing import Any

def accept_anything(x: Any) -> int:
    # 타입 체커가 x 에 *어떤* 연산도 허용
    return x.completely_made_up_method()      # mypy: OK

def accept_object(x: object) -> int:
    # 타입 체커가 속성 접근 전 narrow 요구
    if isinstance(x, str):
        return len(x)
    raise TypeError

# Any 사용 — 타입 없는 라이브러리, 진짜 동적 데이터, gradual typing.
# object 사용 — '어떤 객체', 나중에 isinstance 로 narrow 할 때.

# 타입 alias 가 복잡한 타입에 한 번 이름 붙이게
from typing import Callable

UserId = int
UserData = dict[str, str | int | None]
Callback = Callable[[str, int], bool]

def process_user(uid: UserId, data: UserData, on_done: Callback) -> None:
    if on_done("start", uid):
        print("processed", data)

# 3.12+ 명시적 type 문
# type UserId = int    — TypeAlias 로 인식