Combinatore Y in Schema utilizzando Definisci

Question

Per apprendere cos'è un combinatore a virgola fissa e viene utilizzato per, ho scritto il mio. Ma invece di scrivere con funzioni strettamente anonime, come Wikipedia's example, ho appena usato definisco:

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

Ho provato questo con funzionali per fattoriale e Fibonacci, e sembra funzionare. Questo soddisfa la definizione formale di un combinatore a virgola fissa?

Answer 1

La risposta è no, perché secondo the blog referred to in the previous answer, non soddisfa nemmeno la definizione di combinatore, dal momento che 'combinare' è un libero variabile.

Answer 2

MODIFICA: Mentre chessweb o qualcun altro conferma la sua risposta, considera temporaneamente la sua risposta corretta e questa errata.

---

Sembra che la risposta sia sì. A quanto pare la stessa identica combinatore appare here, a metà strada in basso nella pagina:

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