Sound Mode: Can TypeScript Type Checking Be Stricter?

Sound Mode은 Rust로 작성된 TypeScript 검사기 tsz의 엄격한 타입 검사 실험이다. 기존 TypeScript가 놓치는 일부 타입 안전성 문제를 더 엄격하게 잡아내며, AI 코드 작성과의 시너지를 고려해 개발 중이다. 현재는 playground와 CLI 플래그로 제한적 데모만 제공하며, 향후 mutable 배열 공변성, 인덱스 접근 검사, 안전하지 않은 단언 등 추가 엄격 검사 기능을 계획 중이다. Sound Mode는 사용자 코드와 라이브러리 코드 간 경계를 구분해 점진적 도입을 목표로 하며, 실사용자 피드백을 적극 수집 중이다.

https://tsz.dev/sound-mode/

#typescript #staticanalysis #typechecking #rust #tsz