Scheme Y Combinator
λ표현식은 모두 익명 함수이다. 그러면 구치의λ연산은 어떻게 귀속을 정의합니까?귀속은 통상적으로 하나의 함수를 직접 또는 간접적으로 자신을 호출하는 것을 가리키는데, 이름은 어떻게 호출하지 않습니까?
부동점 조합자/Y combinator는 이론적으로 이 문제를 해결한다.
간단한 곱셈 함수 (임의의 귀속 함수를 예로 쓸 수 있음):
(define factorial
(lambda (n)
(if (= n 0)
1
(* n (factorial (- n 1))))))
현재factorial 변수를 사용할 수 없기 때문에factorial을 생성하는 함수make-factorial 또는get을 설계할 수 있습니다-factorial: 사용할 수 없는factorial 변수를 간단하게 f로 대체합니다
(define make-factorial
(lambda (f)
(lambda (n)
(if (= n 0)
1
(* n (f (- n 1)))))))
고급 함수make-factorial은 정확한 f를 찾아서 계산 곱하기 함수를 되돌려주기를 바랍니다factorial.
(define factorial ( make-factorial f))
유도 과정을 고려하지 않고 한 마디로 하면 f를 찾기 위해 당신은 천신만고 끝에 고급 함수 Y(아래는 응용 프로그램 버전)를 만들었습니다. 더 이상 당신이 그 정확한 f를 찾을 필요가 없습니다. 이것은make-factorial을 입력으로 신기하게factorial을 출력합니다.
(define Y
(lambda (f)
((lambda (x) (f (lambda (y) ((x x) y))))
(lambda (x) (f (lambda (y) ((x x) y)))))))
(define factorial (Y make-factorial))
(factorial 10)
조합자: 자유 변수를 사용하지 않는lambda 표현식.형삼 외에 어떠한 다른 변수도 쓰지 않는다.
부동점: 함수에 대해λx.W, n이 n이면 n을 W의 부동점이라고 합니다.계산기에서 어떤 수에 대해cos,cos...마지막으로.7390822985224023상.만약 (Y n)에서 n이make-factorial이라면,factorial은 그의 부동점이다.
이 내용에 흥미가 있습니까?
현재 기사가 여러분의 문제를 해결하지 못하는 경우 AI 엔진은 머신러닝 분석(스마트 모델이 방금 만들어져 부정확한 경우가 있을 수 있음)을 통해 가장 유사한 기사를 추천합니다:
다양한 언어의 JSONJSON은 Javascript 표기법을 사용하여 데이터 구조를 레이아웃하는 데이터 형식입니다. 그러나 Javascript가 코드에서 이러한 구조를 나타낼 수 있는 유일한 언어는 아닙니다. 저는 일반적으로 '객체'{}...
텍스트를 자유롭게 공유하거나 복사할 수 있습니다.하지만 이 문서의 URL은 참조 URL로 남겨 두십시오.
CC BY-SA 2.5, CC BY-SA 3.0 및 CC BY-SA 4.0에 따라 라이센스가 부여됩니다.