데이터베이스를 '이어달리기 바통'처럼 넘긴다고? 컨티뉴에이션으로 DB 다루기

함수형 프로그래밍의 좀 색다른 아이디어

오늘은 살짝 머리 쓰는 주제예요. 바로 컨티뉴에이션(continuation)을 이용해서 데이터베이스를 다루는 방법인데요. 제목만 보면 '이게 무슨 소리야' 싶을 수 있는데, 천천히 따라오면 꽤 재밌는 발상이에요.

먼저 컨티뉴에이션이 뭔지부터요. 이게 뭐냐면, '이 다음에 할 일 전체'를 하나의 값으로 포장한 것이에요. 우리가 코드를 짤 때 a() 하고 b() 하고 c() 순서대로 실행한다고 치면, a()를 실행하는 시점에서 '그 다음에 해야 할 b와 c'가 바로 컨티뉴에이션이에요. 보통 언어는 이걸 알아서 처리해주는데, CPS(Continuation-Passing Style, 컨티뉴에이션 전달 방식)에서는 이 '다음 할 일'을 함수로 만들어서 인자로 직접 넘겨줘요.

쉽게 비유하면, 일을 끝낸 다음 "이제 뭐 할까요?"라고 묻는 대신, 일을 시작할 때부터 "끝나면 이거 해"라는 쪽지(콜백 함수)를 손에 쥐여주는 거예요. 자바스크립트 콜백 지옥 겪어본 분이면 감이 올 거예요. CPS는 그 콜백 패턴을 이론적으로 정리한 거라고 봐도 됩니다.

그럼 DB를 컨티뉴에이션으로 넘긴다는 건

핵심 아이디어는 이거예요. 데이터베이스 연결이나 트랜잭션 상태 같은 걸 함수가 끝날 때마다 일일이 return으로 돌려주고 다시 받고 하는 게 번거롭잖아요. 그래서 현재 DB 상태를 컨티뉴에이션에 실어서 다음 단계로 계속 넘기는 거예요. 마치 이어달리기에서 바통을 넘기듯이, 각 단계가 'DB의 현재 모습'을 받아서 자기 일을 하고, 변경된 DB를 다시 다음 주자에게 바통처럼 넘기는 식이죠.

이렇게 하면 좋은 점이 있어요. 데이터베이스의 상태 변화가 명시적인 흐름으로 드러나거든요. 어디서 데이터가 바뀌었는지가 함수 시그니처에 다 나타나니까, 숨겨진 부수효과(side effect, 함수가 몰래 바깥 상태를 바꾸는 것)가 줄어들어요. 함수형 프로그래밍이 그토록 강조하는 '예측 가능성'이 여기서 나오는 거예요. 또 트랜잭션의 시작과 끝, 롤백 지점 같은 걸 컨티뉴에이션 구조로 자연스럽게 표현할 수 있어서, 복잡한 트랜잭션 로직을 더 깔끔하게 조립할 수 있고요.

어디서 본 듯한 개념인데

사실 이 발상은 완전히 새로운 건 아니에요. 하스켈(Haskell)의 State 모나드나 ContT(컨티뉴에이션 모나드 트랜스포머)를 써본 분이라면 '아, 그거구나' 할 거예요. 상태를 명시적으로 들고 다니면서 함수를 합성하는 그 패턴이거든요. 스칼라의 ZIO나 Cats Effect 같은 이펙트 시스템도 비슷한 철학을 공유하고요.

다른 점이라면, 이 글의 접근은 그걸 데이터베이스라는 아주 구체적이고 실무적인 대상에 적용했다는 거예요. 추상적인 모나드 이론을 'DB 트랜잭션 관리'라는 손에 잡히는 문제로 끌어내린 셈이죠.

한국 개발자에게는

솔직히 당장 회사 프로젝트에 CPS로 DB를 다루자고 하긴 어려워요. 대부분의 백엔드는 ORM이나 트랜잭션 어노테이션(@Transactional 같은 것)으로 잘 돌아가니까요. 하지만 이 개념을 알아두면 사고의 폭이 넓어져요. 예를 들어 코틀린 코루틴이나 자바스크립트의 async/await도 내부적으로는 컨티뉴에이션 변환에 기반하거든요. 비동기 코드가 어떻게 '멈췄다가 이어지는지' 그 원리를 이해하면 디버깅이나 성능 튜닝할 때 큰 무기가 돼요.

함수형 언어를 진지하게 파고 있거나, 자기만의 작은 트랜잭션 라이브러리를 설계해보고 싶은 분이라면 이 글의 접근법이 좋은 영감이 될 거예요.