R6RS Scheme: 인자 검사
R6RS Scheme: 인자 검사
Scheme 프로시저와 문법 구축이 인자 수와 타입을 검사하는 방식을 설명해요.
출처: 문서
본문
프로시저가 그 정의에 명시된 수와 다른 수의 인자로 호출되면, 구현은 예외를 발생시켜야 해요. 단, 다른 방식으로 명시된 경우는 제외돼요. 문법 형이 예상되는 것과 다른 수의 하위 형을 가진 채로 나타나면, 구현은 문법 위반을 나타내는 예외를 발생시켜야 해요.
다른 방식으로 명시되지 않는 한, 프로시저의 인자가 그 프로시저가 예상하는 타입이 아니면, 구현은 예외를 발생시켜야 해요. 이 리포트에서 프로시저가 인자를 다른 타입으로 처리하는 명세는 일반적으로 그 프로시저가 예외를 발생시킨다는 것을 포함하지 않지만, 안전한(5.6절 참조) 프로그램이라면 적절한 예외가 발생해야 해요.