제품 코드가 잘못된 형식이거나 고객 이름이 너무 길거나 주소 검증 서비스가 오랫동안 응답하지 않아서 실패한다면?

→ 어떤 시스템에서도 오류는 발생하기 마련이며 이를 어떻게 처리하는지가 중요함

→ 실부하를 받는 시스템은 반드시 일관되고 투명하게 오류를 처리해야 함

• 이번 장에서는 타입 시그니처에 효과를 복원하고 이를 다루는 방법을 배움
• 함수형 프로그래밍에서 오류를 처리하는 방식을 살펴봄
• 어지러운 조건문과 try-catch 문 없이도 오류를 포착하는 기법을 개발 해봄
• 특정 오류를 도메인 오류로 취급하여 도메인 주도 설계의 다른 요소들만큼 중요하게 다뤄야하는 이유도 살펴봄

10.1 Either 타입으로 오류 드러내기

함수형 프로그래밍은 가능한 모든 것을 명확하게 드러내는 것을 중요하게 생각하는데, 오류 처리도 마찬가지

• 함수의 성공 여부와 실패 시 발생할 오류를 명확하게 드러내는 함수를 만들고자 함
• 너무나 많은 코드에서 오류를 부수 요소로 취급함
• 하지만 프로덕션에 적합한 젼고한 시스템을 만들기 위해서는 오류를 최우선으로 다뤄야함
  • 도메인에 속한 오류라면 더더욱…

이전 장에서는 예외를 발생시켜 오류를 처리함.

→ 이는 간편하지만 모든 함수 시그니처와 실제 동작이 다른 문제가 생김

다음은 주소를 검증하는 함수의 시그니처를 나타낸 것

type CheckAddressExists = (i: UnvalidatedAddress) => CheckAddress;