Y Combinator w Scheme za pomocą Definiowanie

Question

Aby dowiedzieć się, czym jest i jest używany kombinator stałoprzecinkowy, napisałem własne. Ale zamiast pisać go z funkcji ściśle anonimowych, jak Wikipedia's example, po prostu stosowane określenie:

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

Przetestowałem to z funkcjonałów dla silni i Fibonacciego, i wydaje się działać. Czy spełnia to formalną definicję kombinatora o stałym punkcie?

Answer 1

Odpowiedź brzmi nie, ponieważ według the blog referred to in the previous answer, to nawet nie spełnia definicji combinator, ponieważ „połączyć” to darmowa zmienna.

Answer 2

EDYCJA: Podczas gdy chessweb lub ktokolwiek inny potwierdza swoją odpowiedź, tymczasowo rozważ swoją odpowiedź poprawnie, a ta jest błędna.

---

Wygląda na to, że odpowiedź brzmi "tak". Podobno pojawia się dokładnie ten sam syntezator here, w połowie drogi w dół stronie:

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