결과·실패·비용을 아우르는 동작 계약
각 계약에는 정상 결과, 실패 조건, 계산 비용이 함께 들어갑니다. 구현이 달라져도 같은 입력 과정이 같은 결과를 내는지 검증할 수 있습니다.
- 상태
- 현재 위치, 선택, 펼침, 텍스트, 검증 상태처럼 동작에 필요한 사실을 값으로 표현합니다.
- 연산
- 의미 있는 입력을 받아 새 상태와 순서 있는 작업을 함께 계산합니다.
- 실패
- 처리할 수 없는 입력은 형식이 있는 오류가 되며 기존 상태는 그대로 유지됩니다.
- 비용
- 시간, 공간, 할당, 보유 자원의 상한을 공개 계약과 검증 근거에 포함합니다.
문제 영역별 상태 모델
각 패키지는 하나의 문제 영역을 맡고, 공개된 값과 연산으로 서로 연결됩니다.