principle-type-system-discipline
타입을 설계하거나, 함수 시그니처를 검토하거나, 정적 타입 언어로 코드를 작성할 때 적용. 불법 상태를 표현 불가능하게 만들고, 의미론적 프리미티브를 브랜드하고, 경계에서 외부 데이터를 파싱하고, 변형을 소진하고, 권위있는 스키마에서 파생.
Pinned to revision f89396cc6c5c, so it is the text this page describes rather than whatever the author pushed since.
Files
Every link opens the file at its source, pinned to the revision this page describes.