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

मैं हाल ही में एक मित्र के साथ चर्चा कर रहा था (जो दृढ़ता से टाइप की जाने वाली भाषाओं का एक वकील है)। उन्होंने टिप्पणी की: लैंबडा कैलकुलस के अन्वेषकों ने हमेशा इसे टाइप करने का इरादा किया। अब हम देख सकते हैं कि चर्च के साथ जुड़े थे …

16 lambda-calculus  church-turing-thesis  lisp  typed-lambda-calculus 

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

13 pl.programming-languages  lisp  scheme 

अब हम देख सकते हैं कि चर्च के साथ जुड़े थे , बस टाइप लैम्ब्डा पथरी । वास्तव में, ऐसा लगता है कि उन्होंने लैंबडा कैलकुलस के बारे में गलतफहमी को कम करने के लिए सिंपल टाइप्ड लैंबडा कैलकुलस समझाया। अब जब जॉन मैकार्थी ने लिस्प बनाया - उन्होंने इसे …

13 lambda-calculus  term-rewriting-systems  lisp