Y 조합을 사용하여 체계에있는 결합 자

Question

고정 소수점 결합자가 무엇인지를 배우기 위해, 나는 내 자신을 썼다.

(define combine (lambda (functional) 
        (functional (lambda args (apply (combine functional) args)))) 

내가 계승과 피보나치에 대한 함수 (Functionals)로이 테스트 한, 작동하는 것 같다 :하지만 그 대신 Wikipedia's example처럼 엄격하게 익명 함수를 작성하는, 바로 사용 나는 정의합니다. 이것이 고정 소수점 결합 자의 공식 정의를 충족합니까?

Answer 1

the blog referred to in the previous answer에 따르면, 심지어 콤비의 정의를 충족하지 않기 때문에 대답은 '결합'이후, '아니오'는 무료입니다 : 분명히 동일한 콤비는 중간 페이지 아래, here 나타납니다 변하기 쉬운.

Answer 2

편집 : chessweb 또는 다른 사람이 그의 대답을 뒷받침하는 동안 일시적으로 그의 대답을 정확하고 틀린 것으로 간주하십시오.

---

대답은 '예'입니다.

이

(define Y 
    (lambda (f) 
     (f (lambda (x) ((Y f) x)))))