मैं सोच रहा हूँ कि क्या / प्रथम श्रेणी के समारोह और उच्च आदेश समारोह के बीच क्या अंतर है ।
मैं उन दो विकी पृष्ठों के माध्यम से पढ़ता हूं और वे समान दिखते हैं। यदि वे उसी के बारे में बात कर रहे हैं, तो दो शब्दावली की आवश्यकता क्यों है?
गूगल पर कोशिश की लेकिन कोई उपयोगी चीज नहीं मिली।
जवाबों:
इसमे अंतर है। जब आप कहते हैं कि किसी भाषा में प्रथम श्रेणी के कार्य होते हैं, तो इसका मतलब है कि भाषा मानों के रूप में कार्य करती है - कि आप किसी फ़ंक्शन को एक चर में असाइन कर सकते हैं, इसे पास कर सकते हैं आदि। उच्च-कार्य फ़ंक्शन ऐसे कार्य हैं जो अन्य कार्यों पर काम करते हैं, अर्थ वे तर्क के रूप में एक या एक से अधिक कार्य लेते हैं और एक फ़ंक्शन भी वापस कर सकते हैं।
"उच्च-क्रम" की अवधारणा को सामान्य रूप से गणितीय अर्थों में कार्यों की तरह लागू किया जा सकता है। "प्रथम श्रेणी" की अवधारणा को केवल प्रोग्रामिंग भाषाओं में कार्य करना है। यह एक समारोह का उल्लेख करते समय शायद ही कभी इस्तेमाल किया जाता है, जैसे कि "प्रथम श्रेणी का एक समारोह"। यह कहना अधिक आम है कि "किसी भाषा में प्रथम श्रेणी का समर्थन नहीं है"।
दो चीजें निकटता से संबंधित हैं, क्योंकि प्रथम श्रेणी के कार्यों के साथ एक भाषा की कल्पना करना कठिन है जो उच्च-क्रम के कार्यों का समर्थन नहीं करेगा, और इसके साथ-साथ उच्च-श्रेणी के कार्यों के साथ एक भाषा भी होगी लेकिन प्रथम श्रेणी के फ़ंक्शन समर्थन के बिना।
intया charइस अर्थ में कि उन्हें जहाँ भी आप चाहते हैं, एक फ़ंक्शन बॉडी द्वारा स्पष्ट रूप से परिभाषित नहीं किया जा सकता है ।
वे अलग हैं।
प्रथम श्रेणी के कार्य
एक भाषा में मान जो समान रूप से पूरे संभाले जाते हैं उन्हें "प्रथम श्रेणी" कहा जाता है। उन्हें डेटा संरचनाओं में संग्रहीत किया जा सकता है, तर्कों के रूप में पारित किया जा सकता है, या नियंत्रण संरचनाओं में उपयोग किया जा सकता है।
वे भाषाएँ जो फ़ंक्शन प्रकारों के साथ मानों का समर्थन करती हैं, और उन्हें गैर-फ़ंक्शन मानों के समान मानती हैं, उन्हें "प्रथम श्रेणी के कार्य" कहा जा सकता है।
उच्चतर कार्य
प्रथम श्रेणी के कार्यों के परिणामों में से एक यह है कि आप किसी फ़ंक्शन को किसी अन्य फ़ंक्शन के तर्क के रूप में पास करने में सक्षम होना चाहिए। बाद का कार्य अब "उच्च क्रम" है। यह एक फ़ंक्शन है जो फ़ंक्शन को तर्क के रूप में लेता है।
विहित उदाहरण "मानचित्र" है
map :: (a -> b) -> [a] -> [b]
map f [] = []
map f (x:xs) = f x : map f xs
यही है, यह एक फ़ंक्शन और एक सरणी लेता है, और प्रत्येक तत्व पर लागू फ़ंक्शन के साथ एक नया सरणी देता है।
कार्यात्मक भाषाएं - ऐसी भाषाएं जहां फ़ंक्शन निर्माण कार्यक्रमों के प्राथमिक साधन हैं - सभी में प्रथम श्रेणी के कार्य हैं। अधिकांश में उच्चतर कार्य कार्य भी होते हैं (एक्सेल जैसी भाषाएं होने का बहुत ही दुर्लभ अपवाद, जिसे कार्यात्मक कहा जा सकता है, लेकिन उच्चतर क्रम नहीं)।
पिछले उत्तरों के अलावा, ध्यान दें कि प्रथम श्रेणी के कार्यों वाली भाषा स्वचालित रूप से उच्च-क्रम वाले कार्यों की अभिव्यक्ति को सक्षम करती है (क्योंकि आप किसी भी अन्य मान की तरह कार्यों को पास कर सकते हैं)।
दूसरी ओर, आप उन भाषाओं की कल्पना कर सकते हैं जो उच्च-क्रम वाले कार्यों का समर्थन करती हैं, लेकिन फ़ंक्शंस को प्रथम श्रेणी में नहीं बनाते हैं (और जहां पैरामीटर फ़ंक्शंस को विशेष रूप से व्यवहार किया जाता है, और "साधारण" मान मापदंडों से भिन्न)।
तो प्रथम श्रेणी के कार्यों की उपस्थिति (भाषा की विशेषता के रूप में) का अर्थ है उच्च-क्रम वाले कार्यों की उपस्थिति, लेकिन दूसरे तरीके से नहीं।