함수형 프로그래밍 3대장 경험기: 클로저, 스칼라, 하스켈 | 인프콘2023

JVM 위에서 동작하는 현대적 Lisp인 Clojure는 함수를 값으로 다루고 다른 함수의 인자나 반환값으로 전달하는 고차 함수 사용이 자연스럽다. 접두 표기법은 연산자 우선순위를 없애고, 작고 순수한 함수의 조합은 재사용과 단위 테스트를 쉽게 만든다. 짧은 기간에 만든 백엔드 프로토타입이 실제 서비스로 계속 운영된 경험을 통해 동적 함수형 언어도 실무 선택지가 될 수 있음을 보여 준다.

Scala는 JVM 생태계에서 객체지향과 함수형 스타일을 함께 제공하고 강한 정적 타입 추론으로 두 접근을 점진적으로 섞을 수 있다. 불변 연결 리스트는 새 원소를 앞에 붙일 때 기존 꼬리를 공유하므로 전체 복사 없이 상수 시간에 새 값을 만들고 이전 값도 보존한다. 이런 영속 자료 구조는 잠금과 경쟁 상태를 줄여 동시성에 유리하며, 소규모 팀으로 일본·대만 서비스를 출시한 실무 프로젝트에도 적용됐다.

Haskell은 부수 효과를 모나드로 분리하고 강한 정적 타입 추론을 제공하는 순수 함수형 언어로, JVM이 아닌 자체 컴파일 생태계를 사용한다. 같은 표현식을 언제나 같은 값으로 바꿀 수 있는 참조 투명성은 프로그램을 식처럼 치환하고 등식 추론하게 한다. 리스트 연결의 결합법칙을 구조적 귀납법으로 확인하는 예시는 코드의 성질을 수학적으로 설명할 수 있어 높은 안전성이 필요한 영역에 유리함을 보여 준다.

Clojure는 동적 타입과 간결한 JVM Lisp, Scala는 정적 타입과 실용적인 다중 패러다임, Haskell은 순수성과 깊은 학습 경험이라는 서로 다른 장점을 가진다. 발표자는 업무 적용에는 Scala, 순수 함수형 프로그래밍의 학습에는 Haskell, 익숙한 관점을 흔드는 즐거움에는 Clojure를 추천한다. 특정 언어를 도입하지 않더라도 불변성, 멱등성, 결합법칙과 함수 조합을 기존 코드에 적용하면 예측 가능성과 테스트 용이성을 높일 수 있다.