슈퍼컴바이너

이 글의 사실적 정확성은 논쟁의 여지가 있다. 관련 토론은 토크 페이지에서 찾을 수 있다. 논쟁의 여지가 있는 진술이 안정적으로 소싱되도록 도와주십시오.(2015년 11월) (이 템플릿 메시지를 제거하는 방법과 시기 알아보기)

이 기사는 위키피디아의 품질 기준을 준수하기 위해 다시 작성될 필요가 있을 수 있다. 넌 도울 수 있어. 토크 페이지에는 제안사항이 포함될 수 있다.(2015년 11월)

슈퍼컴바이너는 완전히 구속되고 자급자족하는 수학적 표현이다.모든 하위 표현들이 슈퍼 콤비네이터인 상수 또는 콤비네이터일 수 있다.슈퍼컴비네이터는 기능 언어의 구현에 사용된다.

수학적 용어로, 람다 표현식 S는 자유 변수가 없고 xx₁.xx₂ 형식인 경우 arity n의 슈퍼컴바이너다...λx_n.E (n ≥ 0으로, 람다가 필요하지 않도록 함) E 자체가 람다 추상화가 아니며 E의 어떤 람다 추상화가 다시 초결합자가 된다.

참고 항목

• 람다 리프팅

참조

• S. L. Peyton Jones, 기능 프로그래밍 언어의 구현.프렌티스 홀, 1987.