«lambda-calculus» 태그된 질문

Chris Okasaki의 논문 " Flattening Combinators : Surviving Without 괄호 "에서 그는 응용 연산자 나 괄호없이 Turing-complete 표현을 인코딩하기위한 기초로 두 개의 결합자가 충분하고 필요하다는 것을 보여줍니다. 응용 연산자와 접두사 코딩 S 및 K 콤비 네이터를 통해 " 이진 람다 미적분 및 조합 논리 " 에서 John Trump의 콤비네이션 논리 …

9 lambda-calculus  combinatory-logic 

그래서이 알고리즘 인 SK 콤비를 사용하여 조합 적 논리에 람다 계산법 조건을 변환 할 수는. 크기 가 폭발 하는 것들을 만들어냅니다 . 이 규모의 폭발에 대해 더 알고 싶습니다. 그러나 더 나은 알고리즘을 생각할 수 없습니다. 기능 언어가 결합기로 실제로 컴파일되는 것을 들었으므로 더 나은 알고리즘이 있어야합니다. 나는 이 주제에 …

9 lambda-calculus  functional-programming  combinatory-logic