R6RS Scheme: 평가 예제
R6RS Scheme: 평가 예제
R6RS에서 프로시저 항목의 동작을 설명하기 위해 쓰는 평가 예제(evaluation example) 표기법을 설명해요.
출처: 문서
본문
이 리포트는 프로시저와 문법의 동작을 설명하기 위해 평가 예제(evaluation example)를 사용해요.
예제는 일반적으로 ⇒(가리키는 화살표) 기호로 표현식을 그 결과와 연결하는 방식으로 표시돼요. 예를 들어 다음과 같은 예제는 (car '(a b c))가 a로 평가됨을 보여줘요:
(car '(a b c)) ⇒ a
⇒의 왼쪽은 평가될 표현식이고, 오른쪽은 그 결과예요. 이 표기법은 구현이 그 구체적인 결과를 보장한다는 뜻이 아니라, 명세에 따라 결과가 그와 같아야 함을 나타내요.