Lambda Calculus에 대해 알아보자
람다 대수의 추상화·적용·치환을 사과 가격 계산 예제로 설명했습니다.\nbeta reduction, alpha conversion, Church numeral로 연산 구성 방식을 살펴봤습니다.
#lambda calculus#함수형 프로그래밍
000
람다 대수의 추상화·적용·치환을 사과 가격 계산 예제로 설명했습니다.\nbeta reduction, alpha conversion, Church numeral로 연산 구성 방식을 살펴봤습니다.
람다 대수의 표현식 구성과 beta reduction 기반 치환 과정을 설명했습니다.\n변수 충돌 회피와 Church numeral을 활용한 산술 표현까지 다뤘습니다.