Lambda Calculus에 대해 알아보자
람다 대수의 추상화·적용·치환을 사과 가격 계산 예제로 설명했습니다.\nbeta reduction, alpha conversion, Church numeral로 연산 구성 방식을 살펴봤습니다.
#lambda calculus#함수형 프로그래밍#beta reduction
000

Church numeral 태그가 달린 국내 IT 기업 기술 블로그 글을 최신순으로 모았습니다.
2개 표시
람다 대수의 추상화·적용·치환을 사과 가격 계산 예제로 설명했습니다.\nbeta reduction, alpha conversion, Church numeral로 연산 구성 방식을 살펴봤습니다.

람다 대수의 표현식 구성과 beta reduction 기반 치환 과정을 설명했습니다.\n변수 충돌 회피와 Church numeral을 활용한 산술 표현까지 다뤘습니다.
