टाइप्ड लैंबडा कैलकुलस और लिस्प के बीच ऐतिहासिक संबंध?


16

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

लैंबडा कैलकुलस के अन्वेषकों ने हमेशा इसे टाइप करने का इरादा किया।

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

अब जब जॉन मैकार्थी ने लिस्प बनाया - उन्होंने इसे लैम्ब्डा कैलकुलस पर आधारित किया । यह उनके स्वयं के प्रवेश द्वारा है जब उन्होंने "प्रतीकात्मक अभिव्यक्तियों के पुनरावर्ती कार्य और मशीन द्वारा उनकी गणना, भाग I" प्रकाशित किया । आप इसे यहाँ पढ़ सकते हैं

मैककार्थी को सिंपली टाइप्ड लैंबडा कैलकुलस संबोधित नहीं किया गया है। इस का बोलबाला होने लगता है रोबिन मिलनर के साथ एमएल

यहाँ लिस्प और लैम्ब्डा कैलकुलस के बीच संबंधों की कुछ चर्चा है , लेकिन वे वास्तव में इस बात की तह तक नहीं पहुँचते हैं कि मैक्कार्थी ने इसे अनछुए छोड़ने का विकल्प क्यों चुना।

मेरा सवाल है - अगर मैकार्थी ने स्वीकार किया कि वह लैंबडा कैलकुलस के बारे में जानते हैं - तो उन्होंने लैंबडा कैलकुलस की अनदेखी क्यों की? (अर्थात - क्या यह वास्तव में स्पष्ट है कि लैम्ब्डा कैलकुलस टाइप करने का इरादा था; ऐसा नहीं लगता है)


1
संभवत: टाइपिंग लैंबडा कैलकुलस के ट्यूरिंग-पूर्ण नहीं होने के साथ कुछ करना है।
जान जोहान्सन

धन्यवाद @JanJohannsen - क्या आप उस पर विस्तार कर सकते हैं?
बाज़ी

जवाबों:


17

λ

इस पत्र में इतिहास का एक उत्कृष्ट अवलोकन पाया गया है

λ


वाह - इस विषय पर दुनिया में सबसे योग्य व्यक्ति द्वारा उत्तर दिया गया। धन्यवाद @ ससम्। शायद मैं आपको साल के अंत तक पीएचडी आवेदन दिलवा दूंगा। (ऐसा लगता है कि एम्ब्रोस बीएस आप लोगों के साथ काम करने के लिए उत्सुक हैं)।
हौवे

3
मैं वास्तव में इस विषय पर दुनिया के सबसे योग्य व्यक्ति से बहुत दूर हूं।
सैम टोबिन-होचस्टाट

लिंक टूटा हुआ प्रतीत होता है। मेरा मानना ​​है कि यह एक ही पेपर है: आशा.सिमोंस-rock.edu/~pshields/cs/cmpt312/cardone-hindley.pdf
bammdy
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.