lambda-calculus पर टैग किए गए जवाब

क्रिस ओकासाकी के पेपर "फ्लैटनिंग कॉम्बिनेटर: सर्वाइविंग विदआउट पेरेंटेस " में उन्होंने दिखाया कि दो कॉम्बिनेटर एक एप्लीकेशन ऑपरेटर या कोष्ठक की आवश्यकता के बिना ट्यूरिंग-पूर्ण अभिव्यक्ति को एन्कोड करने के लिए पर्याप्त और आवश्यक दोनों हैं। एक आवेदन ऑपरेटर के साथ उपसर्ग कोडिंग एस और के कॉम्बिनेटर के माध्यम …

9 lambda-calculus  combinatory-logic 

तो एसके कॉम्बिनेटर का उपयोग करके लैंबडा कैलकुलस शब्द को कॉम्बिनेटर लॉजिक में बदलने के लिए एक एल्गोरिदम है। यह उन चीजों का उत्पादन करता है जो आकार में विस्फोट करते हैं। मैं आकार में इस विस्फोट के बारे में अधिक जानना चाहूंगा। मैं हालांकि एक बेहतर एल्गोरिथ्म के बारे …

9 lambda-calculus  functional-programming  combinatory-logic