परिभाषा में वाई कॉम्बिनेटर परिभाषित

Question

यह जानने के लिए कि एक निश्चित बिंदु संयोजक क्या है और इसका उपयोग किया जाता है, मैंने अपना खुद लिखा था। लेकिन बजाय सख्ती से गुमनाम कार्यों के साथ यह लेखन, Wikipedia's example तरह की, मैं सिर्फ इस्तेमाल किया निर्धारित करें:

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

मैं भाज्य और फाइबोनैचि के लिए functionals के साथ इस परीक्षण किया है, और यह काम करने लगता है। क्या यह एक निश्चित बिंदु संयोजक की औपचारिक परिभाषा को पूरा करता है?

Answer 1

जवाब है, क्योंकि the blog referred to in the previous answer के अनुसार, यह भी Combinator की परिभाषा को पूरा नहीं करता है, नहीं है 'गठबंधन' के बाद से एक नि: शुल्क है चर।

Answer 2

संपादित करें: जबकि chessweb या कोई और उसका जवाब पुष्टि करता है, अस्थायी रूप से उसका जवाब सही मानता है और यह गलत है।

---

ऐसा लगता है कि उत्तर हाँ है। जाहिरा तौर पर ठीक उसी Combinator here प्रकट होता है, पृष्ठ नीचे रास्ते के मध्य में:

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