타입시스템 기반 도메인 모델링

이 게시물은 타입시스템을 이용하여 도메인을 모델링하는 기법을 소개합니다.

주요 내용

• 커피 주문 도메인과 도메인 모델
• 대수적 데이터 타입(Algebraic Data Type) 활용
• 현금 영수증 발급 수단과 안전성, 비용 관계
• 원시타입에 대한 집착과 런타임 안전성 vs 컴파일 타임 안전성
• 실전 도메인 적용 사례: 주문서 결제수단

목적

복잡한 도메인에서 보이지 않는 오류를 컴파일 타임에 막아내는 안전한 모델링 방법을 제시합니다.