1.2.1 프로그램을 추론하는 데 치환 모델 사용하기

관찰할 수 있는 효과가 없이 값만 반환하는 함수를 사용해서 얻는 주된 이점은 함수 호출이 반환 값과 동등하다는 데 있다. 참조 투명한 함수는 아무 부수 효과도 일으키지 않고, 오직 인자에 따라 결정되는 결괏값만 지닌다. 그 결과, 참조 투명한 함수 호출이나 식은 항상 그 결괏값으로 치환할 수 있다. 그림 1-4는 이를 보여준다.

▲ 그림 1-4 참조 투명한 식을 그 값으로 치환해도 전체 의미는 바뀌지 않는다.