Gradual Typing점진적 타이핑

점진적 타이핑의 보장:
1. 완전한 정적 타입 코드: 런타임 타입 오류 없음
2. 완전한 동적 타입 코드: 기존과 동일 동작
3. 혼합 코드: 경계에서 런타임 검사 수행

물음표 타입(?): 모든 타입과 일관성(Consistency) 관계

// 점진적 타입화 예시
// 1단계: any 사용 (동적)
function processData(data: any) {
  return data.value * 2;
}

// 2단계: 부분 타입 추가
interface DataItem {
  value: number;
  label?: string;  // 선택적 필드
}
function processData(data: DataItem) {
  return data.value * 2;
}

// 3단계: 완전한 타입
interface DataItem {
  value: number;
  label: string;
  metadata: Record<string, unknown>;
}

// 타입 어서션으로 경계 처리
const result = (externalData as DataItem).value;

from typing import Optional, Union, Any

# 동적 (힌트 없음)
def process(data):
    return data['value'] * 2

# 점진적 타입화
def process(data: dict[str, Any]) -> int:
    return data['value'] * 2

# 완전한 타입
from dataclasses import dataclass

@dataclass
class DataItem:
    value: int
    label: str

def process(data: DataItem) -> int:
    return data.value * 2

일관성 관계 (~):
  ? ~ τ    (물음표는 모든 타입과 일관)
  τ ~ ?    (모든 타입은 물음표와 일관)
  τ ~ τ    (같은 타입끼리 일관)
  (τ₁→τ₂) ~ (τ₁'→τ₂')
    iff τ₁ ~ τ₁' and τ₂ ~ τ₂'

일관성 ≠ 서브타이핑!
일관성은 컴파일 타임 허용 여부,
실제 타입 검사는 런타임 캐스트에서