किसने सबसे पहले उच्च आदेश समारोह और / या प्रथम श्रेणी नागरिक शब्द गढ़ा?


9

मुझे यह समझ में आया है कि हास्केल, ओ'कैम्ल या एलआईएसपी से बहुत पहले, उच्च आदेश कार्य एक अकादमिक शोध विषय थे और गणित में, श्नोफिंकेल (1967 में) और हास्केल करी (1968 में) पहले से ही तकनीक को करी के रूप में लागू करते थे, लेकिन इससे पहले कि यह किसी भी प्रोग्रामिंग भाषा में उपलब्ध था।

विकिपीडिया के अनुसार योजना, प्रथम श्रेणी के नागरिकों के रूप में उचित उच्च-क्रम के कार्यों को पेश करने वाली पहली भाषा थी, लेकिन क्या कोई ऐसा है जिसे हम मूल विचार का श्रेय दे सकते हैं? शायद अलोंजो चर्च, जिन्होंने 1930 के दशक में लैम्ब्डा कैलकुलस का आविष्कार किया था? अधिक विशेष रूप से, निम्नलिखित परिभाषा को किसने गढ़ा, जो मैंने कई किताबों और ऑनलाइन संसाधनों में आसपास के विभिन्न पैराफ्रीज में देखा था?

किसी फ़ंक्शन को उच्च फ़ंक्शन के रूप में माना जाता है जब वह किसी फ़ंक्शन को तर्क के रूप में लेता है या जब वह फ़ंक्शन देता है। किसी भी फ़ंक्शन को तर्कों के रूप में या रिटर्न प्रकारों के रूप में कार्य नहीं करना पहला ऑर्डर फ़ंक्शन कहलाता है।


1
आप मूसा शॉनफिंकेल का मतलब है? फिर आपको 1967 में उनके बारे में गलत होना चाहिए । 1942 में गरीबी में उनकी मृत्यु हो गई
पेट्र पुडलक

न ही LISP से पहले 1967 है। :-)
जिमी वाइज

जवाबों:


9

फ्रीज कहते हैं "फनटियन अन बीग्रिफ" (1891):

Wie nun Funktionen von Gegenständen grundverschieden sind, इसलिए sind auch Funktionen, deren Argumente Funktionen sind und sein müssen, grinverschieden von Funktionen, deren Argumente Gegenstände sind undichts। डिसे नीने ich फंकटियनन इरस्टर, जेने फुनकतेन ज़्विटर स्टुफ़।

अंग्रेजी में (मेरा अनुवाद):

जैसे चीज़ें और फ़ंक्शंस अलग-अलग होते हैं, वैसे ही फ़ंक्शंस होते हैं, जिनके तर्क फ़ंक्शंस फ़ंक्शनल रूप से फ़ंक्शंस से भिन्न होते हैं जिनके तर्क चीज़ें होनी चाहिए। मैं पहले क्रम के बाद के कार्यों को कहता हूं, दूसरे क्रम के पूर्व कार्यों को।


1
महान हवाला! बेशक यह मुक्त हो जाएगा।
स्कैलव

दिलचस्प है कि आधुनिक कार्यात्मक प्रोग्रामिंग विपरीत दृश्य लेती है - जहां तक ​​संभव हो (या कम से कम, जब भी आप एक बंद श्रेणी में काम कर रहे हों) उन कार्यों के बीच कोई अंतर नहीं है जिनके तर्क कार्य हैं, और ऐसे कार्य जिनके तर्क चीजें होनी चाहिए।
क्रिस टेलर

जब मैं इसे मिलाता हूं, तो टाइपरैक्टर मुझे याद दिलाता है, @ChrisTaylor :)
Ingo

1
फंक्शंस भी चीजें हैं, मेरे दोस्त। (
पैराफ्रेस

1
मैंने एक बार तर्क में एक कोर्स किया है और हमने उन डोमेन के लिए एक परिभाषा का उपयोग किया है जो स्थिरांक और कार्यों के बीच कोई अंतर नहीं बनाते हैं: एक स्थिर (मान) बिना किसी तर्क के एक फ़ंक्शन है, अर्थात एक फ़ंक्शन जिसका मान किसी इनपुट मान पर निर्भर नहीं करता है, और इसलिए सह-डोमेन में केवल एक मान होता है।
जियोर्जियो

3

विकिपीडिया लेख पहले से ही स्ट्रेची के लिए "प्रथम श्रेणी के नागरिकों" शब्दावली का श्रेय देता है।

"उच्च क्रम फ़ंक्शन" मैं उच्च क्रम और पहले आदेश तर्क के बीच अंतर की तारीखों की कल्पना करता हूं।

Https://en.wikipedia.org/wiki/Higher-order_logic और http://plato.stanford.edu/entries/logic-higher-order/ देखें


मैं पूरी तरह से निश्चित नहीं हूं कि उच्च-क्रम तर्क और उच्च-क्रम फ़ंक्शन विनिमेय हैं इतनी आसानी से। स्ट्रेची को इंगित करने के लिए धन्यवाद, मैंने किसी तरह उस पर पढ़ा।
हाबिल

2
फ्रीज के काम में "उच्चतर आदेश कार्य" मौजूद हैं (उदाहरण के लिए तर्क के रूप में कार्य लेने वाले कार्य), अब तक के लंबो कैलकुलस पर चर्च के मूलभूत कार्य का पूर्वानुमान लगाते हैं। शास्त्रीय पहले ओडर तर्क में एक विधेय वास्तव में एक बूलियन मूल्यवान फ़ंक्शन है, इसलिए मैं दूसरी स्काल्व का सुझाव देता हूं कि यह शब्दावली का स्रोत हो सकता है।
फिलिप जेएफ
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.