R6RS Scheme: 구현 책임
R6RS Scheme: 구현 책임
R6RS의 항목 설명에서 구현이 지는 책임(implementation responsibility)을 설명해요.
출처: 문서
본문
항목들에 대한 설명은 구현이 어떤 동작을 보장해야 하는지를 나타내는 데 있어 다양한 강도를 가져요.
이 리포트는 구체적으로, "~해야 한다(must)"는 강한 요구를, "~할 수 있다(may)"는 선택적인 허용을, 그리고 "~하는 것이 좋다(should)"는 권장을 나타내는 데 사용해요(2장 참조). 프로시저나 문법의 동작 설명이 특정 동작을 보장하지 않는 경우, 구현은 합리적이라고 판단되는 어떤 동작이든 제공할 수 있어요. 단, 안전한(5.6절 참조) 프로그램이라면 예외 상황에서 적절한 예외가 발생해야 해요.