Scheme:Y combinator
1391 단어 Scheme
λ표현식은 모두 익명 함수이다. 그러면 구치의λ연산은 어떻게 귀속을 정의합니까?귀속은 통상적으로 하나의 함수가 자신을 직접적이거나 간접적으로 호출하는 것을 가리키는데, 이름도 없는데, 어떻게 호출합니까?
부동점 조합자/Y combinator는 이론적으로 이 문제를 해결한다.
간단한 곱셈 함수 (임의의 귀속 함수를 예로 쓸 수 있음):
(define factorial
(lambda (n)
(if (= n 0)
1
(* n (factorial (- n 1))))))
현재 프로그램에서factorial 변수를 사용할 수 없기 때문에factorial을 생성하는 함수make-factorial 또는 get-factorial: 간단하게 f로 사용할 수 없는factorial 변수를 대체할 수 있습니다
(define make-factorial
(lambda (f)
(lambda (n)
(if (= n 0)
1
(* n (f (- n 1)))))))
고급 함수make-factorial은 계산 단계의 함수인factorial을 되돌려주는 정확한 f를 찾으십시오.(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 엔진은 머신러닝 분석(스마트 모델이 방금 만들어져 부정확한 경우가 있을 수 있음)을 통해 가장 유사한 기사를 추천합니다:
html 버전 SICP를 kindle에서 읽을 수 있도록 시도했습니다.최근, 여러가지 번역의 전자서적판이 나돌고 있습니다만 아무도 이마이치이므로, 와다 선생님의 번역을 간편하게 읽을 수 있도록(듯이) 하고 싶었습니다. 또, 전자 서적판이라고 말해 두면서 리플로우도 없고 문자 사이즈의 ...
텍스트를 자유롭게 공유하거나 복사할 수 있습니다.하지만 이 문서의 URL은 참조 URL로 남겨 두십시오.
CC BY-SA 2.5, CC BY-SA 3.0 및 CC BY-SA 4.0에 따라 라이센스가 부여됩니다.