길리랩blog

함수형 프로그래밍: 순수 함수와 불변성으로 짜는 선언적 코드

함수형 프로그래밍의 핵심 특성과 Haskell·Erlang·Clojure 등 주요 언어, 커링·합성·모나드 기법, 웹·빅데이터·금융 적용 사례를 정리한다.

2026-08-13 · 최초 발행 2025-05-23

함수형 프로그래밍은 수학적 함수 개념에 기반한 프로그래밍 패러다임이다. 1930년대 람다 계산법(Lambda Calculus)에서 이론적 기초가 세워졌고 1950년대 Lisp 언어의 등장으로 실용적 구현이 시작됐다. 명령형 프로그래밍(절차적, 객체지향)과 대비되는 선언적 접근을 취하며, 초기에는 순수 학술 영역에 머물렀지만 최근 대규모 병렬 처리와 분산 컴퓨팅의 중요성이 커지면서 산업 현장까지 활용 범위가 넓어졌다.

부작용 없는 순수 함수

순수 함수는 동일한 입력에 항상 동일한 출력을 반환하며, 외부 상태를 바꾸는 부작용(Side Effects)이 없다. 실행 시점과 무관하게 항상 같은 결과가 보장되기 때문에 테스트와 디버깅이 쉬워진다.

// 순수 함수 예시
function add(a, b) {
  return a + b;
}

// 비순수 함수 예시
let total = 0;
function addToTotal(value) {
  total += value; // 외부 변수 변경 - 부작용 발생
  return total;
}

한번 만들면 바뀌지 않는 값

불변성(Immutability)은 한번 생성된 데이터를 변경할 수 없다는 원칙이다. 데이터를 수정하는 대신 새로운 데이터를 만들기 때문에 예측 가능성이 높아지고 동시성 처리가 안전해진다. 메모리 사용량이 늘어난다는 단점이 있지만 최신 구현은 이를 줄이는 최적화 기법을 적용한다.

// 명령형 방식: 배열 변경
const numbers = [1, 2, 3];
numbers.push(4); // 원본 배열 변경

// 함수형 방식: 불변성 유지
const numbers = [1, 2, 3];
const newNumbers = [...numbers, 4]; // 새 배열 생성, 원본 불변

함수를 값처럼 다루는 방식

일급 함수(First-class Functions)는 함수를 변수에 할당하거나 다른 함수의 인자로 전달하거나 반환값으로 쓸 수 있는 성질이다. 함수 표현식과 고차 함수를 자유롭게 쓸 수 있어 추상화 수준과 코드 재사용성이 올라간다.

// 함수를 변수에 할당
const greet = function (name) {
  return `Hello, ${name}!`;
};

// 함수를 인자로 전달
function executeFunction(func, value) {
  return func(value);
}
executeFunction(greet, "John"); // "Hello, John!"

고차 함수(Higher-order Functions)는 함수를 인자로 받거나 함수를 결과로 반환하는 함수다. map·filter·reduce가 대표적 예시이며 코드 추상화와 재사용성을 높인다.

// 고차 함수 예시
const numbers = [1, 2, 3, 4, 5];

// 함수를 인자로 받는 map
const doubled = numbers.map((num) => num * 2);

// 함수를 반환하는 고차 함수
function multiplier(factor) {
  return function (number) {
    return number * factor;
  };
}

const double = multiplier(2);
double(5); // 10

재귀로 반복을 대신하다

재귀(Recursion)는 반복문 대신 자기 자신을 호출해 문제를 푸는 방식이다. 함수형 언어에서는 최적화된 꼬리 재귀(Tail Recursion)를 지원한다.

// 반복문 사용 (명령형)
function factorial(n) {
  let result = 1;
  for (let i = 2; i <= n; i++) {
    result *= i;
  }
  return result;
}

// 재귀 사용 (함수형)
function factorial(n) {
  if (n <= 1) return 1;
  return n * factorial(n - 1);
}

언어마다 다른 함수형의 결

Haskell은 순수 함수형 언어의 대표 사례다. 강력한 타입 시스템과 지연 평가(Lazy Evaluation)가 특징이며 학술 연구와 산업 영역 모두에서 쓰인다. Facebook의 스팸 필터링 시스템 등에 활용됐다.

Erlang/Elixir는 고가용성 분산 시스템 개발에 최적화됐다. WhatsApp, Discord 같은 대규모 메시징 플랫폼 백엔드에 쓰이며, Erlang의 현대적 구현인 Elixir는 Phoenix 프레임워크로 웹 개발을 지원한다.

Clojure는 JVM 기반 Lisp 방언으로 Java 생태계 자원을 활용할 수 있고 동시성 처리에 강점이 있어 데이터 분석, 웹 개발 등에 쓰인다. F#은 .NET 생태계의 함수형 언어로 객체지향과 함수형 패러다임을 혼합 지원하며 금융 모델링, 과학 계산 등에 널리 쓰인다.

JavaScript, Python, Scala 같은 하이브리드 언어도 함수형 프로그래밍 개념을 지원하며, React·Redux 같은 프레임워크가 함수형 원칙을 채택하고 있다.

커링과 합성, 모나드로 보는 실전 기법

커링(Currying)은 다중 인자 함수를 단일 인자 함수들의 체인으로 바꾼다. 부분 적용(Partial Application)을 가능하게 해 함수 재사용성을 높인다.

// 일반 함수
function add(a, b) {
  return a + b;
}

// 커링된 함수
function curriedAdd(a) {
  return function (b) {
    return a + b;
  };
}

const add5 = curriedAdd(5); // 부분 적용
add5(3); // 8

함수 합성(Function Composition)은 여러 함수를 조합해 새로운 함수를 만드는 것으로, 파이프라인 형태로 데이터 처리 흐름을 구성할 때 쓰인다.

// 함수 합성 예시
const double = (x) => x * 2;
const increment = (x) => x + 1;

// 함수 합성 (double 후 increment)
const doubleAndIncrement = (x) => increment(double(x));

// 합성 헬퍼 함수 사용
const compose = (f, g) => (x) => f(g(x));
const doubleAndIncrement = compose(increment, double);

모나드(Monad)는 값을 캡슐화하고 연산을 추상화하는 디자인 패턴으로, 부작용 관리·예외 처리·비동기 작업을 효과적으로 다룬다. JavaScript의 Promise, Optional 패턴 등이 모나드 개념을 활용한다.

// JavaScript Promise는 모나드 패턴 활용
fetchUserData(userId)
  .then((user) => fetchUserOrders(user.id))
  .then((orders) => processOrders(orders))
  .catch((error) => handleError(error));

프런트엔드부터 금융 시스템까지 쓰이는 곳

웹 프론트엔드에서는 React 에코시스템의 Redux가 불변성과 순수 함수 개념을 적용하며, 사이드 이펙트 관리를 위해 Redux-Saga·RxJS를 함께 쓴다.

빅데이터 처리에서는 Apache Spark가 함수형 연산을 기반으로 분산 데이터를 처리하며, 데이터 변환 파이프라인 구축에 map·filter·reduce를 활용한다.

// Spark에서의 함수형 데이터 처리
val result = sparkContext
  .textFile("logs.txt")
  .flatMap(line => line.split(" "))
  .map(word => (word, 1))
  .reduceByKey(_ + _)

분산 시스템에서는 WhatsApp이 Erlang으로 구축한 백엔드로 수십억 사용자의 메시징을 처리하며, 불변성과 함수형 모델이 분산 상태 관리를 단순화한다. 금융 시스템에서는 F#, OCaml 같은 함수형 언어로 거래 플랫폼을 구축해 타입 안전성과 불변성으로 오류 가능성을 줄인다.

예측 가능성을 얻고 학습 곡선을 치른다

장점으로는 코드 예측 가능성과 테스트 용이성 증가, 병렬 처리·동시성 구현 단순화, 버그 발생 가능성 감소, 코드 모듈화·재사용성 향상, 수학적 증명 가능성에 따른 정확성 보장이 꼽힌다.

단점으로는 초기 학습 곡선이 가파르다는 점, 명령형 언어에 익숙한 개발자에게 사고방식 전환이 필요하다는 점, 일부 상황에서 성능 오버헤드가 발생할 수 있다는 점, 기존 라이브러리·프레임워크와의 통합 문제가 생길 수 있다는 점이 있다.

명령형과 섞이며 넓어지는 자리

앞으로는 명령형과 함수형 패러다임을 혼합하는 하이브리드 접근법이 확산되고, 클라우드 네이티브 애플리케이션 개발에서 중요성이 커지며, 서버리스 아키텍처와의 친화성이 높고, 인공지능·머신러닝에서 활용이 늘고, 교육과 훈련에서 함수형 개념의 비중이 커질 전망이다.

시스템 설계 관점에서 함수형 프로그래밍은 시스템 복잡성을 관리하는 도구로 쓰이고, 병렬 처리가 필요한 빅데이터 분석 시스템 설계에 맞으며, 높은 신뢰성이 요구되는 금융·의료 시스템에서 검증 가능성을 살릴 수 있고, 확장 가능한 마이크로서비스 아키텍처 구현에도 어울린다.

⤢✕명령형 프로그래밍상태와 상태 변이함수형 프로그래밍값과 변환복잡성 증가예측 가능성 증가유지보수 어려움안정적 시스템기술 부채비즈니스 가치

점진적으로 들여오는 법

기존 코드베이스에 함수형 기법을 도입하려면 다음 순서가 실무적이다.

  1. 기존 코드베이스에 함수형 기법을 점진적으로 도입한다
  2. 순수 함수와 불변 데이터 구조 활용부터 시작한다
  3. 팀 내 학습 문화를 조성하고 지식을 공유한다
  4. 특정 모듈·서비스에 시범 적용한 뒤 확대한다
  5. 외부 라이브러리를 통합할 때 함수형 원칙 준수 여부를 검토한다

함수형 프로그래밍은 프로그래밍 패러다임을 넘어 소프트웨어 설계 철학으로 자리잡아가고 있다. 복잡성 증가, 병렬 처리 요구, 신뢰성 중요성 확대라는 환경에서 강력한 해법을 제공하지만, 전통적 명령형 패러다임과 조화를 이루는 방향으로 도입 여부와 범위를 프로젝트 특성과 요구사항에 맞춰 판단해야 한다.

함수형프로그래밍순수함수불변성고차함수선언적프로그래밍