함수형 프로그래밍과 Effect System을 활용한 의도가 명확한 코드 작성법

메서드 호출 시 발생하는 RPC 통신, DB 조회, 로그 출력 등은 시스템과 상호작용하며 실행 흐름을 변경하는 **사이드 이펙트(Side Effect)**에 해당한다. 이러한 불확실성은 예기치 못한 예외나 성능 저하를 유발하며 코드의 예측 가능성을 떨어뜨린다.

Effect System을 활용하면 이러한 사이드 이펙트를 명시적으로 드러내고 관리할 수 있다. 코드를 액션(Action), 계산(Calculation), **데이터(Data)**로 구분하는 함수형 사고를 통해 코드의 의도를 명확히 하는 것이 핵심이다.

Scala의 Cats Effect와 ZIO, Kotlin의 suspend 키워드를 활용한 실무적인 접근법을 다룬다. 또한 IO 모나드에서 시작해 Direct Style Programming을 거쳐 Algebraic Effects(Kyo, CanThrow 등)로 이어지는 기술적 흐름을 살펴본다.