조건 자체를 표현하기
단언 라이브러리는 기대 조건을 전달하고 실패를 알리는 역할을 한다. Unquote에서는 별도의 비교 문법을 많이 익히는 대신 F# 표현식을 인용해 조건을 나타낸다. 코드가 타입 검사를 받는다는 점과 조건의 참과 거짓을 실제 실행으로 확인한다는 점을 구분해야 한다.
실패 메시지 읽기
복잡한 식이 거짓이 되었을 때 최종 결과만 보면 원인이 모호할 수 있다. Unquote는 식을 줄여 가는 과정을 출력해 중간 결과를 확인하도록 돕는다. 예외가 발생하면 그 지점까지의 평가 과정도 진단에 활용된다. 표현식에 많은 부작용을 넣으면 평가 과정을 해석하기 어려워지므로 조건을 단순하게 유지한다.
실행기와의 관계
Unquote 자체가 전체 테스트 실행기를 대체하는 것은 아니다. 예외로 실패를 처리하는 여러 닷넷 테스트 프레임워크와 함께 사용하고 F# 대화형 환경에서도 단언을 확인할 수 있다. 비교와 예상 예외를 검사하는 보조 기능도 제공한다. 읽기 좋은 실패 메시지는 디버깅을 돕지만 빠진 요구사항이나 잘못된 기대 조건까지 찾아 주지는 않는다.