R6RS Scheme: 미지정 동작
R6RS Scheme: 미지정 동작
Scheme에서 미지정 동작(unspecified behavior)이 무엇이며 무슨 의미를 갖는지 설명해요.
출처: 문서
본문
미지정 동작(unspecified behavior)은 프로시저 호출이나 다른 표현식의 결과가 명세에 의해 규정되지 않은 경우를 말해요. 이 리포트는 "미지정(unspecified)"이라는 용어를 사용해 동작의 결과가 미지정임을 나타내요.
미지정 동작을 갖는 프로그램은 여전히 안전할 수 있어요. 즉 문법적으로 올바르고 타입 규칙을 지키지만, 구체적인 결과는 명세가 보장하지 않아요. 미지정 동작은 구현에 따라 다르게 나타날 수 있고, 같은 구현에서도 상황에 따라 다를 수 있어요. 프로그래머는 미지정 동작의 구체적인 결과에 의존해서는 안 돼요.