결정 규칙 작성하기

좋은 Vouch 후보는 입력이 명시되고 검사 프로필 소스가 안정적이며 출력이 점검 가능한 작은 결정적 판단입니다.

실행으로 확인하기

LISPEX
(define (refund-decision days opened?)
  (if (and (<= days 14) (not opened?))
      '(decision allow)
      '(decision deny outside-refund-window)))
(refund-decision 9 #f)

관측 결과

OUTPUT
(decision allow)

패턴 따라가기

  1. 모든 입력에 이름을 붙입니다. daysopened?는 평범한 데이터로 들어오며 규칙은 숨은 조회를 하지 않습니다.
  2. 경계를 눈에 보이게 합니다. <=로 14일을 받아들이므로 처음 거부되는 날은 15일입니다.
  3. 이름 붙은 데이터를 반환합니다. 결과는 결정을 밝히고, 거부라면 애플리케이션이 검사할 이유도 함께 밝힙니다.

이 순서로 생각하세요

  • 호스트 데이터 변환은 규칙 밖에 두고 검사 프로필에 전달한 정확한 datum을 고정합니다.
  • 애플리케이션이 해석을 문서화한 작은 값을 반환하고 승인·거부 경계를 모두 테스트합니다.
  • 소스, 입력 코퍼스, 영수증을 함께 버전하여 재생 분모를 명시합니다.
  • 결정 규칙이 안정되면 결정적 시각 운반 형식이 필요할 때 검토한 정확한 바이트를 리스펙스 이미지로 만드세요. 검토와 버전 관리에는 일반 소스를 계속 사용하세요.

직접 확인하기

(refund-decision 14 #f), (refund-decision 15 #f), (refund-decision 9 #t)는 각각 무엇을 반환해야 할까요?

경계값은 (decision allow)입니다. 15일과 개봉 상품은 모두 (decision deny outside-refund-window)를 반환합니다.

흔한 오해

결정 영수증은 비즈니스 정책 자체의 공정성·정당성을 판단하지 않습니다.

다음으로

첫 프로젝트 수업에서 이 규칙을 처음부터 만들고 시험하세요. 리스펙스 이미지는 의미를 바꾸지 않고 검토한 정확한 소스를 전달합니다.

첫 결정 규칙 · 리스펙스 이미지