기타
Lambda Calculus에 대해 알아보자
두줄요약
람다 대수의 표현식 구성과 beta reduction 기반 치환 과정을 설명했습니다.\n변수 충돌 회피와 Church numeral을 활용한 산술 표현까지 다뤘습니다.
구조와 흐름
- 람다 표현식의 name, function, application 구성과 추상화 대상의 치환
- beta reduction을 통한 연산자·가격·개수 적용과 식의 축약 과정
- 변수 충돌 회피를 위한 bound/free variable 구분과 alpha conversion
적용해볼 점
- identity·constant·plus 1 함수의 람다 표현식과 익명 함수 대응
- Church numeral의 함수 반복 적용 기반 수 표현
- SUCC·PLUS·MULT 정의를 통한 덧셈과 곱셈의 람다식 구성