Scheme:Y combinator

1391 단어 Scheme
Y combinator, Y 조합자.
λ표현식은 모두 익명 함수이다. 그러면 구치의λ연산은 어떻게 귀속을 정의합니까?귀속은 통상적으로 하나의 함수가 자신을 직접적이거나 간접적으로 호출하는 것을 가리키는데, 이름도 없는데, 어떻게 호출합니까?
부동점 조합자/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은 그의 부동점이다.
 
 
 
 
 
 
 
 

좋은 웹페이지 즐겨찾기