Literal·Final·ClassVar·Annotated — 더 정확한 의도

from typing import Literal

Mode = Literal["r", "w", "a", "r+"]

def open_file(path: str, mode: Mode = "r") -> str:
    return f"opening {path} in {mode}"

open_file("x.txt", "r")     # OK
open_file("x.txt", "w")     # OK
# open_file("x.txt", "x")   # mypy 에러: Literal['r', 'w', 'a', 'r+'] 기대

# Literal 이 int, bool, None 에도 작동
LogLevel = Literal["DEBUG", "INFO", "WARNING", "ERROR", "CRITICAL"]
MaybeOn = Literal[True, False]

from typing import Final

# 모듈 레벨 상수
MAX_RETRIES: Final = 3
# MAX_RETRIES = 5     # mypy 에러: final 이름에 할당 불가

# 클래스 속성
class Config:
    VERSION: Final = "1.0.0"
    TIMEOUT: Final[int] = 30

# 서브클래싱도 표시
# class SubConfig(Config):
#     VERSION = "2.0"   # mypy 에러: final 속성 override 불가

# sentinel, 설정 상수, 의도상 immutable 한 모든 것에 유용

from typing import ClassVar
from dataclasses import dataclass

@dataclass
class User:
    name: str                          # 인스턴스 속성
    age: int                           # 인스턴스 속성
    DEFAULT_ROLE: ClassVar[str] = "member"   # 클래스 속성, 공유

u = User("alice", 30)
print(u.name)
print(u.DEFAULT_ROLE)                   # 'member' — 인스턴스로 접근
print(User.DEFAULT_ROLE)                # 클래스로도

# ClassVar 없으면 dataclass 가 DEFAULT_ROLE 을 인스턴스 필드로 처리
# + __init__ 에 요구 — 잘못된 동작.

from typing import Annotated

# 그냥 int — 추가 정보 없음
def plain(x: int) -> int:
    return x

# 제약 가진 Annotated int
UserId = Annotated[int, "사용자 유니크 식별자", "양의 정수"]

def with_meta(uid: UserId) -> str:
    return f"user {uid}"

# 런타임에 UserId 는 그냥 int
print(with_meta(42))                    # 'user 42'

# 메타데이터는 typing.get_type_hints / typing.get_args 로 접근
from typing import get_type_hints, get_args
hints = get_type_hints(with_meta, include_extras=True)
print(hints["uid"])
print(get_args(hints["uid"]))