도메인주도설계를위한함수형프로그래밍 #4 도메인의 무결성과 일관성

[yoonminsang]

6. 도메인의 무결성과 일관성

• 이 장에서는 신뢰할 수 있는 도메인의 두 가지 측면인 무결성(integrity)과 일관성(consistency)을 모델링하는 방법을 살펴본다.

무결성

• 스마트 생성자: 기본 생성자를 비공개로 만든 다음 값이 유효할 때만 생성자를 호출해주고, 그렇지 않으면 오류를 반환하는 별도 함수(simple-types.ts) 참고
• 측정 단위(시간, 초, 밀리초, 타임아웃, x축 y축 등등)에 브랜드를 달기: kg과 meter에 브랜드를 달아서 비교할 수 없게 막는 것도 가능하다.
• 타입 시스템으로 불변성 강제하기: NonEmptyArray같은거 사용
• 타입 시스템에 비지니스 규칙 녹이기
  • 인증된 타입이 필요한 경우 타입 나누고 인증된 타입의 생성자를 private으로 막아서 오직 인증된 타입 확인 서비스만이 생성할 수 있게 만들기
  • 여러 타입이 옵셔널일 경우 선택 타입 사용하기 type ContactInfo = | EmailContactInfo | PostalContactInfo | BothContactMethods;

일관성

• 단일 aggregate내의 일관성: 주문 총액을 예로 들어보면 항목 수준이 아니라 주문 수준에서 수행해야한다. 주문이 일관성 경계를 보장하는 aggregate root다.
• 다른 맥락 간의 일관성: 두 시스템간 업데이트를 하는 것은 까다롭고 실무에서 이를 필요로 하는 경우는 드물다. 메시지를 사용해 비동기적으로 조정하면 된다. 때때로 오류가 발생하지만 오류를 처리하는 비용이 모든 것을 동기화하는 비용보다 적다.
• 같은 맥락의 aggregate 간 일관성: 상황에 따라 트랜잭션, 결과적 일관성(eventual consistency)을 유연하게 따라야한다. 일반적으로 유용한 지침은 '한 트랜잭션당 하나의 aggregate만 업데이트하라'
• 동일한 데이터를 다루는 여러 집합체: 여러 aggregate가 제약 조건을 공유할 수 있으며, 이를 타입으로 모델링할 수 있다. 계좌 잔액이 0미만이 불가능이라면 NonNegativeMoney 타입으로 모델링, or 공통 검증 함수를 사용할 수 있다.

(맹기완 강사님: 개발자만 transaction이 필요하다고 생각한다. Eventual Consistency로 생각하는게 중요하다.)