फिक्स्ड-पॉइंट कॉम्बीनेटर FIX (उर्फ वाई कॉम्बीनेटर) में (अप्रकाशित) लैम्ब्डा कैलकुलस ( ) को इस प्रकार परिभाषित किया गया है:
FIX
मैं इसका उद्देश्य समझता हूं और मैं इसके आवेदन के निष्पादन को पूरी तरह से ठीक कर सकता हूं; मैं समझना चाहता हूं कि पहले सिद्धांतों से एफआईएक्स को कैसे प्राप्त किया जाए ।
जब तक मैं इसे स्वयं प्राप्त करने का प्रयास करता हूं, तब तक यहां है:
- FIX एक फ़ंक्शन है: FIX
- FIX इसे पुनरावर्ती बनाने के लिए एक और फ़ंक्शन, f लेता है : FIX
- फ़ंक्शन का पहला तर्क फ़ंक्शन का "नाम" है, जिसका उपयोग एक पुनरावर्ती अनुप्रयोग का उद्देश्य है। इसलिए, f के पहले तर्क के सभी दिखावे को एक फ़ंक्शन द्वारा प्रतिस्थापित किया जाना चाहिए, और इस फ़ंक्शन को f के बाकी तर्कों की उम्मीद करनी चाहिए (चलो मान लेते हैं कि एक तर्क लेता है): FIX
यह वह जगह है जहां मैं नहीं जानता कि मेरे तर्क में "एक कदम" कैसे उठाया जाए। छोटे दीर्घवृत्त यह दर्शाते हैं कि मेरी FIX कहां गायब है (हालांकि मैं केवल यह जान पा रहा हूं कि "वास्तविक" FIX से तुलना करके)।
मैंने पहले से ही टाइप और प्रोग्रामिंग लैंग्वेज पढ़ी हैं , जो इसे सीधे प्राप्त करने का प्रयास नहीं करता है, और इसके बजाय एक व्युत्पत्ति के लिए पाठक को द लिटिल शेमर को संदर्भित करता है । मैंने पढ़ा है कि, और इसकी "व्युत्पत्ति" भी इतनी मददगार नहीं थी। इसके अलावा, यह एक सीधा व्युत्पत्ति के कम और अधिक एक बहुत विशिष्ट उदाहरण और में एक उपयुक्त पुनरावर्ती क्रिया लिखने के लिए एक तदर्थ प्रयास का उपयोग की है ।