Elixir 1.20: Inference-first 접근을 통한 Best-effort Soundness 구현

Context

기존 Dynamic language의 런타임 타입 에러 위험과 Static language의 엄격한 타입 정의 비용 사이의 트레이드오프 존재. 대규모 레거시 코드베이스에 타입 시스템을 도입할 때 발생하는 마이그레이션 비용과 개발 생산성 저하가 주요 병목 지점으로 작용.

Technical Solution

• Inference-first 전략을 통한 기존 코드 수정 없는 타입 체크 가능 구조 설계
• dynamic() 타입을 통한 판단 유예로 False Positive를 최소화하고 확실한 오류만 보고하는 Best-effort Soundness 구현
• Set-theoretic types 기반의 Union, Intersection, Negation 연산 도입을 통한 'not nil'과 같은 부정형 타입 표현 가능
• 코드 내 Branch와 Guard를 추적하여 가능한 타입을 좁히는 Narrowing 로직 적용
• Dynamic base 유지 후 경계 지점에 Static type을 추가하는 단계적 강화 전략 채택