Scheme Y Combinator

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

좋은 웹페이지 즐겨찾기