여러분은 이 책에서 프로그램을 더 안전하게 만들기 위한 다음 몇 가지 방법을 배운다.
• 가변 참조(변수) 사용을 피하고, 상태 변이를 피할 수 없는 경우에는 그 부분을 추상화하라.
• 제어 구조를 피하라.
• 효과(effect, 외부 세계와의 상호 작용을 말한다!)를 여러분이 작성하는 프로그램의 일부 영역 안에서만 일어나도록 제한하라. 이 말은 프로그램을 작성할 때 일부 한정된 영역을 제외한 나머지 부분에서 콘솔 등의 장치에 출력하거나 파일, 데이터베이스, 네트워크 등의 장치에 데이터를 쓰는 등의 행위를 하지 말아야 한다는 뜻이다.
• 예외를 던지지 말라. 예외를 던지는 것은 무조건 분기(GOTO)의 현대적인 변형이라 할 수 있다. 이로 인해 프로그램이 스파게티 코드(spaghetti code)가 될 수 있다. 스파게티 코드라는 말은 프로그램 흐름이 어디서 시작하는지 알 수 있지만, 어디로 흘러가는지 제대로 따라갈 수 없다는 뜻이다. 7장에서는 예외를 아예 던지지 않는 방법을 배운다.