아키텍처
Lambda Calculus에 대해 알아보자
두줄요약
람다 대수의 추상화·적용·치환을 사과 가격 계산 예제로 설명했습니다.\nbeta reduction, alpha conversion, Church numeral로 연산 구성 방식을 살펴봤습니다.
구조와 흐름
- 가격·개수·연산자를 분리하는 추상화와 치환 과정
- 이름, 함수, 적용으로 구성한 람다 표현식 문법
- 람다 적용을 통한 연산자·값의 구체화
핵심 내용
- beta reduction 기반 bound variable 치환과 식 축약
- alpha conversion을 통한 이름 충돌 회피
- identity·constant·plus 1·자가 적용 예제로 함수 형태 설명
적용해볼 점
- Church numeral의 함수 반복 횟수로 숫자 표현
- SUCC, PLUS, MULT 조합으로 덧셈·곱셈 구성
- 원시 값과 연산도 람다식으로 표현 가능한 계산 모델 이해