Lambda Calculus에 대해 알아보자

Context

함수형 프로그래밍에서 람다 표현식(lambda expression)은 단순한 익명 함수로 이해되기 쉽지만, 실제로는 함수형 프로그래밍의 근간이다. 프로그래머가 람다 표현식을 깊이 있게 이해하고 자유로운 사고로 함수를 조합하려면 이를 조작하는 람다 대수(lambda calculus)의 이론적 배경이 필요하다.

Technical Solution

• 추상화(Abstraction) 개념: 구체적인 값(사과의 가격, 개수 등)을 추상화하여 변수(cost, items)로 표현하고, 이를 식으로 일반화하는 방식
• Lambda Expression 정의: 세 가지 요소(name, function, application)로 구성되는 형식적 문법을 도입하여 추상화된 문제를 표현
• Beta Reduction: Lambda expression에 구체적인 값을 대입하여 식을 단계적으로 풀어내는 계산 방식 적용
• Alpha Conversion: Name clash 문제를 해결하기 위해 변수의 이름을 바꾸어 충돌을 방지하는 기법
• Church Numeral: 숫자를 lambda expression으로 표현하고, 함수의 적용 횟수(f의 멱급수)로 숫자를 정의하는 방식
• 산술 연산 정의: SUCC(후속), PLUS(덧셈), MULT(곱셈)를 lambda expression으로 구성하여 cost × items를 표현

Key Takeaway

Lambda calculus는 프로그래밍의 추상화를 수학적으로 형식화하며, Beta reduction과 Church numeral을 통해 모든 계산을 함수로 표현할 수 있음을 보여준다.