Lambda Calculus 이해하기

이 게시물은 Lambda Calculus의 기본 개념과 이를 활용한 추상화 방법에 대해 설명합니다.

핵심 개념

• 람다 표현식(lambda expression): 함수형 프로그래밍의 근간이 되는 익명 함수의 추상화 방식
• 베타 축소(beta reduction): 람다 표현식에 값을 치환하여 문제를 해결하는 과정
• 이름 충돌(name clash) 문제와 이를 방지하는 알파 변환(alpha conversion)
• Church numeral을 사용한 숫자 표현과 수학 연산의 람다대수적 구현

적용과 실습

• 사과 가격 문제를 람다대수로 추상화하여 표현
• 함수의 자기증식과 수학 연산자 곱셈, 덧셈을 람다 표현식으로 구현