फंक्शन प्रकार

कंप्यूटर विज्ञान और गणितीय नियम में, फंक्शन प्रकार (या तीर प्रकार या घातांक) वेरिएबल (कंप्यूटर विज्ञान) या पैरामीटर (कंप्यूटर विज्ञान) का प्रकार होता है, जिसमें फंक्शन (कंप्यूटर विज्ञान) को सौंपा जा सकता है, इस प्रकार से नियम या किसी भी फंक्शन को या एक उच्च-क्रम फंक्शन लेने या लौटने का नियम या परिणाम प्रकार होता है

इस प्रकार से फंक्शन प्रकार पैरामीटर के प्रकार और फंक्शन के परिणाम प्रकार पर निर्भर करता है (यह, या अधिक स्पष्ट रूप से अप्रयुक्त प्रकार कंस्ट्रक्टर, उच्च प्रकार का प्रकार है) । किन्तु सैद्धांतिक समुच्चय और प्रोग्रामिंग भाषाओं में जहां फंक्शन को निश्चित रूप में परिभाषित किया जाता है, जैसे कि बस टाइप किया गया लैम्ब्डा कैलकुलस, एक फंक्शन प्रकार बिल्कुल दो प्रकारों पर निर्भर करता है, डोमेन A और रेंज B। यहां एक फंक्शन प्रकार को सदैव गणितीय फंक्शन   के बाद द्वारा A → B, दर्शाया जाता है , या $B^{A}$ वहां उपस्तिथ ा बिल्कुल $B^{A}$ (घातीय रूप से कई) समुच्चय -सैद्धांतिक फंक्शन के आधार पर समुच्चय की श्रेणी में A से B तक मैपिंग करता है। ऐसे मानचित्रों या फंक्शन के वर्ग को घातीय वस्तु कहा जाता है। करीइंग का कार्य फंक्शन प्रकार को उत्पाद प्रकार से जोड़ देता है; करीइंग पर लेख में इस पर विस्तार से चर्चा की गई है।

अतः फंक्शन प्रकार को आश्रित प्रकार या औपचारिक परिभाषा का विशेष स्तिथियों में माना जा सकता है, जोकी अन्य गुणों के मध्य, बहुरूपी (कंप्यूटर विज्ञान) के विचार को सम्मिलित करता है।

प्रोग्रामिंग भाषाएँ
इस प्रकार से कई प्रोग्रामिंग भाषाओं में फंक्शन प्रकारों के लिए उपयोग किए जाने वाले सिंटैक्स को संक्षेप में प्रस्तुत किया जा सकता है, जिसमें उच्च-क्रम फंक्शन संरचना (कंप्यूटर विज्ञान) फंक्शन के लिए उदाहरण प्रकार हस्ताक्षर सम्मिलित किये जाते है: इस प्रकार से उदाहरण के लिए C# के उदाहरण प्रकार के हस्ताक्षर को देखते समय, फंक्शन का प्रकार कंपोज़ वास्तव में.

सी++11 के std::फंक्शन में टाइप इरेज़र के कारण, उच्च ऑर्डर फ़ंक्शन पैरामीटर के लिए टेम्पलेट और क्लोजर के लिए टाइप अनुमान (ऑटो) का उपयोग करना अधिक समान होता है।

सांकेतिक शब्दार्थ
प्रोग्रामिंग भाषाओं में फंक्शन प्रकार सभी समुच्चय -सैद्धांतिक फंक्शन के स्थान के अनुरूप नहीं है। डोमेन के रूप में अनगिनत प्रकार की प्राकृतिक संख्याओं और रेंज के रूप में बूलियन को देखते हुए, अनगिनत अनंत संख्या (2ℵ0 = c) होती है उनके मध्य समुच्चय -सैद्धांतिक कार्यों की सातत्य की प्रमुखता)। स्पष्ट रूप से फंक्शन का यह स्थान किसी भी प्रोग्रामिंग भाषा में परिभाषित किए जा सकने वाले फंक्शन की संख्या से उच्च है, क्योंकि केवल गिनती के कई प्रोग्राम उपस्तिथ हैं ( प्रोग्राम सीमित संख्या में प्रतीकों का सीमित अनुक्रम है) और समुच्चय -सैद्धांतिक फंक्शन में से हाल्टिंग समस्या   को प्रभावी ढंग से हल करता है।

इस प्रकार से फंक्शन प्रकारों जैसे प्रोग्रामिंग भाषा अवधारणाओं को मॉडल करने के लिए अधिक उपयुक्त मॉडल (जिसे डोमेन सिद्धांत कहा जाता है) खोजने के साथ सांकेतिक शब्दार्थ का संबंध होता है। यह पता चला है कि अभिव्यक्ति को गणना योग्य कार्य के समुच्चय तक सीमित करना पर्याप्त नहीं होते है यदि प्रोग्रामिंग भाषा गैर-समाप्ति गणना लिखने की अनुमति देती है (यदि प्रोग्रामिंग भाषा ट्यूरिंग पूर्ण है तो यही स्थिति है)। अभिव्यक्ति तथाकथित सतत कार्यों तक ही सीमित होनी चाहिए या आंशिक रूप से क्रमित समुच्चय के मध्य निरंतर कार्य (स्कॉट टोपोलॉजी में निरंतरता के अनुरूप, वास्तविक विश्लेषणात्मक अर्थ में निरंतरता नहीं)। इसके अतिरिक्त, निरंतर फंक्शन के समुच्चय में समानांतर-या फंक्शन सम्मिलित होता है, जिसे सभी प्रोग्रामिंग भाषाओं में सही ढंग से परिभाषित नहीं किया जा सकता है।

यह भी देखें

 * कार्टेशियन बंद श्रेणी
 * करी
 * घातांकीय वस्तु, श्रेणी-सैद्धांतिक समतुल्य
 * प्रथम श्रेणी का फंक्शन
 * फंक्शन स्पेस, समुच्चय -सैद्धांतिक समकक्ष

संदर्भ

 * Homotopy Type Theory: Univalent Foundations of Mathematics, The Univalent Foundations Program, Institute for Advanced Study. See section 1.2.
 * Homotopy Type Theory: Univalent Foundations of Mathematics, The Univalent Foundations Program, Institute for Advanced Study. See section 1.2.
 * Homotopy Type Theory: Univalent Foundations of Mathematics, The Univalent Foundations Program, Institute for Advanced Study. See section 1.2.
 * Homotopy Type Theory: Univalent Foundations of Mathematics, The Univalent Foundations Program, Institute for Advanced Study. See section 1.2.