2026년 6월 21일 Rust newtype는 잘못된 상태를 컴파일 타임에, 아무런 비용 없이 표현 불가능하게 만든다 단일 필드 래퍼 struct가 단 한 바이트의 오버헤드도 추가하지 않고 단위 혼합 버그와 타입 혼란을 잡아낸다. type-level-correctnessrustnewtypeszero-cost-abstractions
2026년 6월 17일 숫자는 그냥 숫자가 아니다: 컴파일러가 단위 버그를 잡게 하는 방법 초를 기대하는 곳에 밀리초를 넘기는 버그는 어떤 테스트도 통과한다. 단위를 TypeScript의 타입 시스템에 직접 인코딩하면 런타임 비용 없이 컴파일 시점에 혼동을 잡아내는 방법을 알아보자. type-level-correctnessunitstypescriptzero-cost-abstractions
