이 책에서는 안전한 프로그램을 위해 다음 몇 가지 방법을 배운다.
•
가변 참조 사용을 피해라
•
상태 변이를 피할 수 없는 경우 그 부분을 추상화해라
•
제어 구조를 피해라
•
효과(외부와의 상호작용)를 일부 영역 안에서만 일어나도록 해라
•
예외를 던지지 말라 (7장에서 자세히 다룸)
일부 함수에서는 값을 반환하는 동시에 상태를 변경하기도 한다. 함수가 값을 변경하는 경우 이를 부수효과(Side effect)라고 한다. 부수효과를 사용하는 프로그램은 잘못된 것이다.
부수효과를 없애는 것만으로는 안전한 프로그램을 만들 수 없다. 외부로부터 영향을 받아서도 안 된다. 외부의 상태를 변경하지 않고, 외부에 의존하지도 않는 코드를 참조 투명하다고 한다.
참조 투명성
•
자기 완결적 : 어떤 문맥에서나 그 코드를 사용할 수 있다.
•
결정적 : 인자가 같으면 항상 결과도 같다.
•
절대 예외를 던지지 않음
•
다른 코드가 실패하는 상황을 만들지 않음 : 인자를 변경하거나 다른 외부 데이터를 변경하지 않으며, 코드를 호출하는 쪽의 데이터가 오염되거나 동시 접근으로 오류가 발생하는 경우가 없다.
•
외부 장치에 의존하지 않음 : DB, 파일시스템, 네트워크 등을 사용 못하거나 너무 느려 코드가 대기 상태에 머무는 경우가 없다.