scheme पर टैग किए गए जवाब

[1] में, मिशेल वैंड ने प्रदर्शित किया कि शुद्ध लैम्ब्डा कैलकुलस में fexprs को जोड़ने से प्रासंगिक तुल्यता के सिद्धांत का तुच्छीकरण हो जाता है, जिसका अर्थ है कि दो शब्द प्रासंगिक रूप से समतुल्य हैं यदि वे congruent हैं। संबंधित काम की खोज करते समय, उन्होंने "हमारा परिणाम अल्बर्ट …

13 pl.programming-languages  lisp  scheme 

पृष्ठ "उन्नत योजना: कुछ शरारती बिट्स" बताता है: निरंतरता एक शक्तिशाली नियंत्रण-प्रवाह निर्माण है जिसमें से लगभग किसी भी अन्य नियंत्रण-प्रवाह संरचना [...] को प्राप्त किया जा सकता है। मुझे लगा कि call/ccपीटर लैंडिन के जे ऑपरेटर से संबंधित (*) स्कीम का इस्तेमाल किसी भी ज्ञात नियंत्रण प्रवाह संरचना को …

13 lambda-calculus  denotational-semantics  scheme  operational-semantics