Scala Future로 배우는 Monad 개념과 비동기 프로그래밍 전환 과정

이 글은 Scala의 Future 타입을 사용하여 쇼핑몰 주문 내역 조회 기능을 Blocking I/O에서 Non-Blocking I/O로 리팩토링하는 과정을 통해 Monad 개념을 이해하는 튜토리얼이다. 먼저 Await.result를 사용한 절차적 코드에서 발생하는 Blocking 문제를 지적하고, flatMap 연산자를 이용한 함수 합성, for comprehension을 통한 가독성 개선, 그리고 scala-async 라이브러리를 활용한 async/await 패턴 적용 순서로 비동기 코드를 발전시킨다. 이를 통해 Future가 값을 감싸는 unit과 꺼내어 변형하는 bind(flatMap) 규칙을 따르는 Monadic 타입임을 보여준다. 다만, Scala의 Future는 결합 법칙을 만족하지 않아 엄밀한 Monad가 아닌 'Monadic'으로 표현해야 하며, Monad 법칙을 준수하는 Scalaz Task와의 차이점(스레드 처리, 성능 등)도 함께 언급한다.