이를 설명하는 또 다른 방법은, sumAndLog의 시그니처에서 이 함수가 로깅 함수를 호출하리라는 사실을 명확히 드러내기 때문에 log 함수를 호출하는 것이 sumAndLog에서 함수형 효과를 구성한다는 것이다. 예기치 않게 발생하는 부수 효과와 달리 log 함수를 호출하는 행위는 어떤 방식으로도 숨겨지지 않는다.
7장 펑터와 카테고리 배우기에서는 타입 시스템에서 함수의 부수 효과를 명시적으로 만들어주는 데이터 구조를 사용하면서 이에 대해 설명한다.
Note ≡ | 함수형 프로그래밍은 부수 효과가 발생하는 코드를 최소화하고 프로그램의 가장 바깥쪽에 부수 효과를 유지하는 기술이라고도 할 수 있다.
새로운 이야기를 하기 전에 한 가지 더 논의할 것이 있다.