#DESIGN

타입은 유즈케이스의 명세다

타입을 그 순간 떨어지는 데이터의 묘사로 쓰면 런타임이 명세를 지배한다. 옵셔널 하나가 상태 공간을 어떻게 확장하는지, 그리고 애플리케이션의 상태를 닫힌 집합으로 설계하는 원칙.