람다 대수로 추상화 이해하기: 베타 리덕션과 처치 숫자 구현

람다 표현식은 단순한 익명 함수를 넘어 함수형 프로그래밍의 사고 방식과 추상화 원리를 제공한다. 문제를 해결하는 핵심인 추상화는 구체적인 값을 변수로 치환하는 과정이며, 이는 **람다 대수(lambda calculus)**를 통해 체계적으로 이해할 수 있다.

추상화와 치환의 원리

사과 가격 계산처럼 '가격 × 개수'라는 관계를 식으로 추상화하면, 구체적인 숫자를 대입하는 치환 과정으로 값을 도출할 수 있다. 람다 대수에서는 이러한 치환을 **베타 리덕션(beta reduction)**이라 부르며, 함수 적용 시 이름 충돌(name clash)을 방지하기 위해 **알파 변환(alpha conversion)**을 수행한다.

처치 숫자와 연산 구현

람다 대수에서는 숫자를 **처치 숫자(Church numeral)**로 표현한다. 0은 $λ f . λ x.x$, 1은 $λ f . λ x.f x$ 등으로 정의되며, 함수 f의 적용 횟수가 숫자를 나타낸다. 이를 기반으로 SUCC(증가), PLUS(덧셈), MULT(곱셈) 등의 연산을 람다 표현식으로 구성할 수 있다. 예를 들어 SUCC는 $λ n . λ f . λ x.f (n  f  x)$로 정의되어 1을 더하는 기능을 수행한다.