R6RS Scheme: 안전성

Scheme 프로그램의 안전성(safety) 개념을 설명해요.

출처: 문서

본문

안전성(safety)은 Scheme 프로그램의 실행이 갖는 특성으로, 실행이 미정의(unintended) 방식으로 동작하지 않도록 보장하는 성질을 말해요. 특히 안전한 소스 프로그램은 실행에 앞서 각 식별자 참조가 실제로 정의되어 있고, 각 형식이 올바르며, 각 프로시저 호출이 올바른 수의 인자를 갖도록 보장해요.

안전한 프로그램이라면, 예외 상황이 발생했을 때 구현이 예외를 발생시켜야 하고, 그 예외는 프로그램의 의도에 따라 잡히거나 처리될 수 있어요. 프로그램이 안전하지 않다면 그 동작의 결과는 미지정(unspecified) 또는 미정의(undefined)가 될 수 있어요.

더 알아보기 (Learn more)

출처: Safety - R6RS