태그

lambda calculus 기술 블로그 글

lambda calculus 태그가 달린 국내 IT 기업 기술 블로그 글을 최신순으로 모았습니다.

전체 3개최신 3개 표시

왜 폴 그레이엄은 회사 이름을 Y Combinator라고 지었을까

Clojure와 JavaScript 예제로 Combinator와 이름 없는 재귀를 단계적으로 설명했습니다.\nY Combinator가 자기 참조 없이 재귀를 만드는 고정점 조합자임을 보여줍니다.

2020년 6월 17일

람다 대수의 추상화·적용·치환을 사과 가격 계산 예제로 설명했습니다.\nbeta reduction, alpha conversion, Church numeral로 연산 구성 방식을 살펴봤습니다.

2020년 6월 17일

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