Y Combinator en Scheme usando Define

Question

Para aprender qué es y para qué se utiliza un combinador de punto fijo, escribí el mío. Pero en lugar de escribirlo con funciones estrictamente anónimos, como Wikipedia's example, sólo se utiliza defino:

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

He probado esto con los funcionales para factorial y de Fibonacci, y parece que funciona. ¿Cumple esto con la definición formal de un combinador de punto fijo?

Answer 1

La respuesta es no, porque de acuerdo a the blog referred to in the previous answer, que ni siquiera cumple con la definición de combinador, ya que 'combinar' es un país libre variable.

Answer 2

EDITAR: Mientras chessweb o cualquier otra persona corrobora su respuesta, considere temporalmente su respuesta correcta y esta incorrecta.

---

Parece que la respuesta es sí. Al parecer, aparece el mismo combinador exacta here, a medio camino abajo de la página:

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