#lambda-calculus

#lambda-calculus와 관련된 AI·개발 뉴스를 최신순으로 모았습니다. 원문 출처와 한국어 요약을 함께 확인할 수 있습니다.

120개 순수 람다 계산 문제로 모델의 코딩 능력을 평가하는 벤치마크를 공개했다.

·2026.04.24 23시

폴 그레이엄이 Y Combinator를 명명한 배경인 Lambda Calculus의 Y Combinator 개념과 재귀 구현 원리를 Clojure와 JavaScript로 설명한다.

·2021.04.30 00시

람다 대수는 치환과 추상화를 통해 함수형 프로그래밍의 근간을 제시하며, 처치 숫자로 연산을 구현한다.

·2020.06.17 00시