मैं रिकर्सन स्कीम और कोरकर्सन स्कीम (कैटोमोर्फिम्स, एनामोर्फिज्म्स, हाइलोमोर्फिज्म इत्यादि) के कुछ वास्तव में सरल, आसानी से समझने के स्पष्टीकरण की तलाश में हूं, जिनके लिए बहुत सारे लिंक की आवश्यकता नहीं है, या एक श्रेणी सिद्धांत पाठ्यपुस्तक खोलना आवश्यक नहीं है। मुझे यकीन है कि मैंने इन योजनाओं में से कई को बेहोश कर दिया है और कोडिंग की प्रक्रिया के दौरान उन्हें अपने सिर में "लागू" किया है (मुझे यकीन है कि हम में से कई हैं), लेकिन मुझे कोई संकेत नहीं है कि (सह) रिकर्सन योजनाएं क्या हैं I उपयोग कहा जाता है। (ठीक है, मैंने झूठ बोला। मैं बस उनमें से कुछ के बारे में पढ़ रहा हूं, जिसने इस सवाल को प्रेरित किया। लेकिन आज से पहले, मुझे कोई सुराग नहीं था।)डमी के लिए रिकर्सन योजनाएं?
मुझे लगता है कि प्रोग्रामिंग समुदाय के भीतर इन अवधारणाओं का प्रसार बाधित हो गया है निषिद्ध स्पष्टीकरण और उदाहरणों में से एक को पार करना पड़ता है - उदाहरण के लिए विकिपीडिया पर, बल्कि अन्यत्र भी।
यह शायद उनके नामों से बाधित हो गया है। मुझे लगता है कि कुछ वैकल्पिक, कम गणितीय नाम हैं (केले और कटे हुए तार के बारे में कुछ?) लेकिन मुझे कोई संकेत नहीं है कि कटरियर नाम रिकर्सन योजनाओं के लिए क्या हैं जो मैं उपयोग करता हूं।
मुझे लगता है कि यह बाइनरी पेड़ जैसे अमूर्त डेटा प्रकारों की बजाय सरल वास्तविक दुनिया की समस्याओं का प्रतिनिधित्व करने वाले डेटाटाइप के उदाहरणों का उपयोग करने में मदद करेगा।
जेरेमी गिबन्स के कई कागजात हैं जो सबसे अच्छे परिचय हो सकते हैं क्योंकि वे स्पष्ट हैं और बड़े पैमाने पर स्वयं निहित हैं। "स्ट्रीमिंग प्रतिनिधित्व परिवर्तक" (गुना और खुलासा हुआ संयुक्त), "प्रोग्राम समझ के लिए विखंडन" (पैरामोर्फिज्म और अधिक), "नीचे की सराहना की गई" (एनामोर्फिज्म)। http://www.cs.ox.ac.uk/people/publications/date/Jeremy.Gibbons.html –