पैरामीट्रिक बहुरूपता: Difference between revisions

Revision as of 12:38, 16 February 2023

प्रोग्रामिंग भाषाओं और प्रकार के सिद्धांत में, पैरामीट्रिक बहुरूपता कोड के एक टुकड़े को वास्तविक प्रकार के स्थान पर चर का उपयोग करके "जेनेरिक" प्रकार देने की अनुमति देता है, और फिर आवश्यकतानुसार विशेष प्रकार के साथ तत्काल किया जाता है।^[1]^: 340 पैरामीट्रिक रूप से बहुरूपी कार्यों और डेटा प्रकारों को कभी-कभी क्रमशः सामान्य कार्य और सामान्य डेटा प्रकार कहा जाता है, और वे सामान्य प्रोग्रामिंग का आधार बनाते हैं।

पैरामीट्रिक बहुरूपता की तुलना तदर्थ बहुरूपता से की जा सकती है। पैरामीट्रिक रूप से बहुरूपी परिभाषाएँ 'एकसमान' हैं: वे जिस प्रकार के वर्तमान में हैं, उसकी परवाह किए बिना समान रूप से व्यवहार करते हैं।^[1]^: 340^[2]^: 37 इसके विपरीत, तदर्थ बहुरूपी परिभाषाओं को प्रत्येक प्रकार के लिए अलग परिभाषा दी जाती है। इस प्रकार, तदर्थ बहुरूपता आम तौर पर केवल सीमित संख्या में ऐसे विशिष्ट प्रकारों का समर्थन कर सकता है, क्योंकि प्रत्येक प्रकार के लिए अलग कार्यान्वयन प्रदान किया जाना है।

मूल परिभाषा

उन कार्यों को लिखना संभव है जो उनके तर्कों के प्रकारों पर निर्भर नहीं होते हैं। उदाहरण के लिए, पहचान फलन ${\mathsf {id}}(x)=x$ बस अपना तर्क अपरिवर्तित लौटाता है। यह स्वाभाविक रूप से संभावित प्रकार के परिवार को जन्म देता है, जैसे ${\mathsf {Int}}\to {\mathsf {Int}}$ , ${\mathsf {Bool}}\to {\mathsf {Bool}}$ , ${\mathsf {String}}\to {\mathsf {String}}$ , और इसी प्रकार होता है। पैरामीट्रिक बहुरूपता ${\mathsf {id}}$ को सार्वभौमिक रूप से परिमाणित प्रकार चर पेश करके एकल, सबसे सामान्य प्रकार देने की अनुमति देता है:

{\mathsf {id}}:\forall \alpha .\alpha \to \alpha

बहुरूपी परिभाषा को $\alpha$ के लिए किसी भी ठोस प्रकार को प्रतिस्थापित करके तत्काल किया जा सकता है, जिससे संभावित प्रकारों का पूरा परिवार प्राप्त होता है।^[3]

पहचान कार्य विशेष रूप से चरम उदाहरण है, लेकिन कई अन्य कार्य भी पैरामीट्रिक बहुरूपता से लाभान्वित होते हैं। उदाहरण के लिए, ${\mathsf {append}}$ फ़ंक्शन जो दो सूचियों को जोड़ता है, केवल सूची संरचना में ही सूची के तत्वों का निरीक्षण नहीं करता है। इसलिए, ${\mathsf {append}}$ प्रकार का समान परिवार दिया जा सकता है, जैसे $(([{\mathsf {Int}}],[{\mathsf {Int}}])\to [{\mathsf {Int}}])$ , $(([{\mathsf {Bool}}],[{\mathsf {Bool}}])\to [{\mathsf {Bool}}])$ , और इसी प्रकार, जहाँ $[T]$ प्रकार के तत्वों की सूची को $T$ दर्शाता है. इसलिए सबसे सामान्य प्रकार है

{\mathsf {append}}:\forall \alpha .([\alpha ],[\alpha ])\to [\alpha ]

जिसे परिवार में किसी भी प्रकार से तत्काल किया जा सकता है।

Parametrically बहुरूपी कार्य जैसे ${\mathsf {id}}$ और ${\mathsf {append}}$ कहा जाता है कि मनमानी प्रकार $\alpha$ पर पैरामिट्रीकृत किया जाता है.^[4] दोनों ${\mathsf {id}}$ और ${\mathsf {append}}$ ही प्रकार पर परिचालित किया जाता है, लेकिन कार्यों को मनमाने ढंग से कई प्रकारों पर परिचालित किया जा सकता है। उदाहरण के लिए, ${\mathsf {fst}}$ और ${\mathsf {snd}}$ उत्पाद प्रकार के पहले और दूसरे तत्वों को क्रमशः लौटाने वाले कार्यों को निम्न प्रकार दिया जा सकता है:

{\begin{aligned}{\mathsf {fst}}&:\forall \alpha .\forall \beta .(\alpha ,\beta )\to \alpha \\{\mathsf {snd}}&:\forall \alpha .\forall \beta .(\alpha ,\beta )\to \beta \end{aligned}}

अभिव्यक्ति में ${\mathsf {fst}}((3,{\mathsf {true}}))$ , $\alpha$ पर ${\mathsf {Int}}$ और $\beta$ प्रवर्तित किया जाता है और ${\mathsf {Bool}}$ को ${\mathsf {fst}}$ कॉल में प्रवर्तित किया जाता है, तो इसलिये समग्र अभिव्यक्ति का प्रकार ${\mathsf {Int}}$ है.

पैरामीट्रिक बहुरूपता को पेश करने के लिए प्रयुक्त सिंटैक्स (प्रोग्रामिंग भाषाएं) प्रोग्रामिंग भाषाओं के बीच महत्वपूर्ण रूप से भिन्न होता है। उदाहरण के लिए, कुछ प्रोग्रामिंग भाषाओं में, जैसे हास्केल, $\forall \alpha$ परिमाणक (तर्क)तर्क) अंतर्निहित है और इसे छोड़ा जा सकता है।^[5] अन्य भाषाओं को कुछ या सभी पैरामीट्रिक पॉलीमॉर्फिक फ़ंक्शन की कॉल साइटो पर स्पष्ट रूप से तत्काल होने की आवश्यकता होती है।

इतिहास

पैरामीट्रिक बहुरूपता को पहली बार 1975 में एमएल प्रोग्रामिंग भाषा में प्रोग्रामिंग भाषाओं के लिए पेश किया गया था।^[6] आज यह मानक एमएल, ओकैमल,एफ शार्प (F#) (प्रोग्रामिंग लैंग्वेज), ऐडा (प्रोग्रामिंग लैंग्वेज), हास्केल (प्रोग्रामिंग भाषा), मरकरी (प्रोग्रामिंग लैंग्वेज), विजुअल प्रोलॉग, स्काला (प्रोग्रामिंग भाषा), जूलिया (प्रोग्रामिंग लैंग्वेज) पायथन (प्रोग्रामिंग भाषा), टाइपप्रति, सी ++ और अन्य में मौजूद है। जावा (प्रोग्रामिंग भाषा), सी शार्प (प्रोग्रामिंग लैंग्वेज), विजुअल बेसिक डॉट नेट, और डेल्फ़ी में से प्रत्येक ने पैरामीट्रिक बहुरूपता के लिए जेनरिक पेश किए हैं। प्रकार के बहुरूपता के कुछ कार्यान्वयन सतही रूप से पैरामीट्रिक बहुरूपता के समान हैं, जबकि तदर्थ पहलुओं को भी प्रस्तुत करते हैं। उदाहरण C++ टेम्पलेट विशेषज्ञता है।

विधेयता, अभेद्यता, और उच्च-श्रेणी बहुरूपता

पंक्ति -1 (विधेयात्मक) बहुरूपता

विधेय प्रकार की प्रणाली में (जिसे प्रीनेक्स पॉलीमॉर्फिक सिस्टम के रूप में भी जाना जाता है) टाइप वेरिएबल्स को पॉलीमॉर्फिक प्रकारों के साथ तत्काल नहीं किया जा सकता है।^[1]^{: 359–360} इसमें प्रिडिक्टिव टाइप थ्योरी में इंट्यूशनिस्टिक टाइप थ्योरी मार्टिन-लोफ टाइप थ्योरी और एनयूपीआरएल शामिल हैं। यह एमएल-शैली या लेट-पॉलीमॉर्फिज्म के समान है (तकनीकी रूप से एमएल के लेट-पॉलिमोर्फिज्म में कुछ अन्य वाक्य-विन्यास प्रतिबंध हैं)।

यह प्रतिबंध बहुरूपी और गैर-बहुरूपी प्रकारों के बीच अंतर को बहुत महत्वपूर्ण बना देता है; इस प्रकार विधेय प्रणालियों में बहुरूपी प्रकारों को कभी-कभी सामान्य (मोनोमोर्फिक) प्रकारों से अलग करने के लिए प्रकार स्कीमा के रूप में संदर्भित किया जाता है, जिन्हें कभी-कभी मोनोटाइप कहा जाता है।

भविष्यवाणी का परिणाम यह है कि सभी प्रकारों को ऐसे रूप में लिखा जा सकता है जो सभी परिमाणकों को सबसे बाहरी (प्रेनेक्स) स्थिति में रखता है। उदाहरण के लिए ऊपर वर्णित, ${\mathsf {append}}$ फलन पर विचार करें, जिसमें निम्न प्रकार हैं:

{\mathsf {append}}:\forall \alpha .([\alpha ],[\alpha ])\to [\alpha ]

इस फ़ंक्शन को सूचियों की जोड़ी पर लागू करने के लिए, ठोस प्रकार $T$ चर के लिए $\alpha$ प्रतिस्थापित किया जाना चाहिए जैसे कि परिणामी फ़ंक्शन प्रकार तर्कों के प्रकार के अनुरूप है। अप्रतिबंधित प्रणाली में, $T$ किसी भी प्रकार का हो सकता है, जिसमें प्रकार भी शामिल है जो स्वयं बहुरूपी है; इस प्रकार ${\mathsf {append}}$ को किसी भी प्रकार के तत्वों के साथ सूचियों के जोड़े पर लागू किया जा सकता है - यहां तक कि स्वयं ${\mathsf {append}}$ जैसे बहुरूपी कार्यों की सूचियों पर भी लागू किया जा सकता है।

भाषा एमएल में बहुरूपता विधेय है।^{[citation needed]} ऐसा इसलिए है क्योंकि भविष्यवाणी, अन्य प्रतिबंधों के साथ, प्रकार प्रणाली को इतना सरल बनाती है कि पूर्ण प्रकार का अनुमान हमेशा संभव होता है।

व्यावहारिक उदाहरण के रूप में, OCaml (ML (प्रोग्रामिंग लैंग्वेज) का वंशज या बोली) टाइप इंट्रेंस करता है और इम्प्रेडिकेटिव पॉलीमॉर्फिज्म का समर्थन करता है, लेकिन कुछ मामलों में जब इम्प्रेडिकेटिव पॉलीमॉर्फिज्म का उपयोग किया जाता है, तो सिस्टम का अनुमान टाइप करें तब तक अधूरा होता है जब तक कि कुछ स्पष्ट प्रकार के एनोटेशन इसके द्वारा प्रदान नहीं किए जाते हैं। प्रोग्रामर।

उच्च-रैंक बहुरूपता

कुछ प्रकार के सिस्टम इम्प्रिडिकेटिव फंक्शन टाइप कंस्ट्रक्टर का समर्थन करते हैं, भले ही अन्य प्रकार के कंस्ट्रक्टर प्रेडिक्टिव रहते हैं। उदाहरण के लिए, $(\forall \alpha .\alpha \rightarrow \alpha )\rightarrow T$ प्रकार ऐसी प्रणाली में अनुमति है जो उच्च-श्रेणी के बहुरूपता का समर्थन करती है, भले ही $[\forall \alpha .\alpha \rightarrow \alpha ]$ नहीं हो सकता।^[7]

प्रकार को रैंक k का कहा जाता है (कुछ निश्चित पूर्णांक k के लिए) यदि इसकी जड़ से a तक कोई रास्ता नहीं है $\forall$ क्वांटिफायर k या अधिक तीरों के बाईं ओर जाता है, जब पेड़ के रूप में टाइप किया जाता है।^[1]^: 359 प्रकार की प्रणाली को रैंक-के बहुरूपता का समर्थन करने के लिए कहा जाता है यदि यह रैंक के साथ के से कम या उसके बराबर के प्रकारों को स्वीकार करता है। उदाहरण के लिए, प्रकार की प्रणाली जो रैंक -2 बहुरूपता का समर्थन करती है, कि $(\forall \alpha .\alpha \rightarrow \alpha )\rightarrow T$ अनुमति देगी लेकिन $((\forall \alpha .\alpha \rightarrow \alpha )\rightarrow T)\rightarrow T$ नहीं. प्रकार की प्रणाली जो मनमाना रैंक के प्रकारों को स्वीकार करती है, उसे रैंक-एन बहुरूपी कहा जाता है।

रैंक-2 बहुरूपता के लिए प्रकार अनुमान निर्णायक है, लेकिन रैंक-3 और उससे ऊपर के लिए, यह नहीं है।^[8]^[1]^: 359

प्रतिकूल बहुरूपता

इम्प्रिडिकेटिव पोलिमोर्फिज्म (जिसे प्रथम श्रेणी का पॉलीमॉर्फिज्म भी कहा जाता है) पैरामीट्रिक पॉलीमॉर्फिज्म का सबसे शक्तिशाली रूप है।^[1]^: 340 औपचारिक तर्क में, परिभाषा को अप्रतिबंधात्मकता कहा जाता है यदि यह स्व-संदर्भित है; टाइप थ्योरी में, यह प्रकार के क्वांटिफायर के डोमेन में होने की क्षमता को संदर्भित करता है। यह पॉलिमॉर्फिक प्रकारों सहित किसी भी प्रकार के चर के किसी भी प्रकार के इन्स्टेन्शियशन की अनुमति देता है। पूर्ण प्रतिबाधा का समर्थन करने वाली प्रणाली का उदाहरण सिस्टम एफ है, जो किसी भी प्रकार पर $\forall \alpha .\alpha \to \alpha$ को तत्काल करने की अनुमति देता है, जिसमें स्वयं भी शामिल है।

टाइप थ्योरी में, सबसे अधिक बार अध्ययन किए जाने वाले इम्प्रेडिकेटिव टाइप λ-कैलकुली लैम्ब्डा घन, विशेष रूप से सिस्टम एफ पर आधारित होते हैं।

परिबद्ध पैरामीट्रिक बहुरूपता

1985 में, लुका कार्डेली और पीटर वेगनर ने प्रकार के मापदंडों पर सीमा की अनुमति देने के लाभों को पहचाना।^[9] कई परिचालनों के लिए डेटा प्रकारों के कुछ ज्ञान की आवश्यकता होती है, लेकिन अन्यथा पैरामीट्रिक रूप से कार्य कर सकते हैं। उदाहरण के लिए, यह जाँचने के लिए कि क्या कोई वस्तु किसी सूची में शामिल है, हमें समानता के लिए वस्तुओं की तुलना करने की आवश्यकता है। मानक एमएल में, फॉर्म के टाइप पैरामीटर a प्रतिबंधित हैं ताकि समानता ऑपरेशन उपलब्ध हो, इस प्रकार फ़ंक्शन में a × a list → bool और a केवल परिभाषित प्रकार का प्रकार हो सकता है समानता। हास्केल (प्रोग्रामिंग लैंग्वेज) में, वर्ग टाइप करें से संबंधित प्रकारों की आवश्यकता के द्वारा बाउंडिंग हासिल की जाती है; इस प्रकार ही फ़ंक्शन का प्रकार होता है ${\textstyle \mathrm {Eq} \,\alpha \,\Rightarrow \alpha \,\rightarrow \left[\alpha \right]\rightarrow \mathrm {Bool} }$ हास्केल में। पैरामीट्रिक बहुरूपता का समर्थन करने वाली अधिकांश वस्तु-उन्मुख प्रोग्रामिंग भाषाओं में, मापदंडों को किसी दिए गए प्रकार के उपप्रकारों के लिए विवश किया जा सकता है (उपप्रकार बहुरूपता और सामान्य प्रोग्रामिंग पर लेख देखें)।

यह भी देखें

↑ ^1.0 ^1.1 ^1.2 ^1.3 ^1.4 ^1.5 Benjamin C. Pierce; Benjamin C. (Professor Pierce, University of Pennsylvania) (2002). Types and Programming Languages. MIT Press. ISBN 978-0-262-16209-8.
↑ Strachey, Christopher (1967), Fundamental Concepts in Programming Languages (Lecture notes), Copenhagen: International Summer School in Computer Programming. Republished in: Strachey, Christopher (1 April 2000). "Fundamental Concepts in Programming Languages". Higher-Order and Symbolic Computation (in English). 13 (1): 11–49. doi:10.1023/A:1010000313106. ISSN 1573-0557. S2CID 14124601.
↑ Yorgey, Brent. "More polymorphism and type classes". www.seas.upenn.edu. Retrieved 1 October 2022.
↑ Wu, Brandon. "Parametric Polymorphism - SML Help". smlhelp.github.io. Retrieved 1 October 2022.
↑ "Haskell 2010 Language Report § 4.1.2 Syntax of Types". www.haskell.org. Retrieved 1 October 2022. With one exception (that of the distinguished type variable in a class declaration (Section 4.3.1)), the type variables in a Haskell type expression are all assumed to be universally quantified; there is no explicit syntax for universal quantification.
↑ Milner, R., Morris, L., Newey, M. "A Logic for Computable Functions with reflexive and polymorphic types", Proc. Conference on Proving and Improving Programs, Arc-et-Senans (1975)
↑ Kwang Yul Seo. "Kwang's Haskell Blog - Higher rank polymorphism". kseo.github.io. Retrieved 30 September 2022.
↑ Kfoury, A. J.; Wells, J. B. (1 January 1999). "Principality and decidable type inference for finite-rank intersection types". Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery: 161–174. doi:10.1145/292540.292556. ISBN 1581130953. S2CID 14183560.
↑ Cardelli & Wegner 1985.

संदर्भ

Hindley, J. Roger (1969), "The principal type scheme of an object in combinatory logic", Transactions of the American Mathematical Society, 146: 29–60, doi:10.2307/1995158, JSTOR 1995158, MR 0253905.
Girard, Jean-Yves (1971). "Une Extension de l'Interpretation de Gödel à l'Analyse, et son Application à l'Élimination des Coupures dans l'Analyse et la Théorie des Types". Proceedings of the Second Scandinavian Logic Symposium. Studies in Logic and the Foundations of Mathematics (in français). Vol. 63. Amsterdam. pp. 63–92. doi:10.1016/S0049-237X(08)70843-7. ISBN 9780720422597.
Girard, Jean-Yves (1972), Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur (Ph.D. thesis) (in français), Université Paris 7.
Reynolds, John C. (1974), "Towards a Theory of Type Structure", Colloque Sur la Programmation, Lecture Notes in Computer Science, Paris, 19: 408–425, doi:10.1007/3-540-06859-7_148, ISBN 978-3-540-06859-4.
Milner, Robin (1978). "A Theory of Type Polymorphism in Programming" (PDF). Journal of Computer and System Sciences. 17 (3): 348–375. doi:10.1016/0022-0000(78)90014-4. S2CID 388583.
Cardelli, Luca; Wegner, Peter (December 1985). "On Understanding Types, Data Abstraction, and Polymorphism" (PDF). ACM Computing Surveys. 17 (4): 471–523. CiteSeerX 10.1.1.117.695. doi:10.1145/6041.6042. ISSN 0360-0300. S2CID 2921816.
Pierce, Benjamin C. (2002). Types and Programming Languages. MIT Press. ISBN 978-0-262-16209-8.

[TAPL-1] 1.0 ^1.1 ^1.2 ^1.3 ^1.4 ^1.5 Benjamin C. Pierce; Benjamin C. (Professor Pierce, University of Pennsylvania) (2002). Types and Programming Languages. MIT Press. ISBN 978-0-262-16209-8.

[Strachey_1967-2] Strachey, Christopher (1967), Fundamental Concepts in Programming Languages (Lecture notes), Copenhagen: International Summer School in Computer Programming. Republished in: Strachey, Christopher (1 April 2000). "Fundamental Concepts in Programming Languages". Higher-Order and Symbolic Computation (in English). 13 (1): 11–49. doi:10.1023/A:1010000313106. ISSN 1573-0557. S2CID 14124601.

[3] Yorgey, Brent. "More polymorphism and type classes". www.seas.upenn.edu. Retrieved 1 October 2022.

[4] Wu, Brandon. "Parametric Polymorphism - SML Help". smlhelp.github.io. Retrieved 1 October 2022.

[5] "Haskell 2010 Language Report § 4.1.2 Syntax of Types". www.haskell.org. Retrieved 1 October 2022. With one exception (that of the distinguished type variable in a class declaration (Section 4.3.1)), the type variables in a Haskell type expression are all assumed to be universally quantified; there is no explicit syntax for universal quantification.

[6] Milner, R., Morris, L., Newey, M. "A Logic for Computable Functions with reflexive and polymorphic types", Proc. Conference on Proving and Improving Programs, Arc-et-Senans (1975)

[7] Kwang Yul Seo. "Kwang's Haskell Blog - Higher rank polymorphism". kseo.github.io. Retrieved 30 September 2022.

[8] Kfoury, A. J.; Wells, J. B. (1 January 1999). "Principality and decidable type inference for finite-rank intersection types". Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery: 161–174. doi:10.1145/292540.292556. ISBN 1581130953. S2CID 14183560.

[FOOTNOTECardelliWegner1985-9] Cardelli & Wegner 1985.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

@@ Line 17: / Line 17: @@
 जिसे परिवार में किसी भी प्रकार से तत्काल किया जा सकता है।
-Parametrically बहुरूपी कार्य जैसे <math>\mathsf{id}</math> और <math>\mathsf{append}</math> कहा जाता है कि मनमानी प्रकार पर पैरामिट्रीकृत किया जाता है <math>\alpha</math>.<ref>{{cite web |last1=Wu |first1=Brandon |title=Parametric Polymorphism - SML Help |url=https://smlhelp.github.io/book/concepts/poly.html |website=smlhelp.github.io |access-date=1 October 2022}}</ref> दोनों <math>\mathsf{id}</math> और <math>\mathsf{append}</math> ही प्रकार पर परिचालित किया जाता है, लेकिन कार्यों को मनमाने ढंग से कई प्रकारों पर परिचालित किया जा सकता है। उदाहरण के लिए, <math>\mathsf{fst}</math> और <math>\mathsf{snd}</math> उत्पाद प्रकार के पहले और दूसरे तत्वों को क्रमशः लौटाने वाले कार्यों को निम्न प्रकार दिया जा सकता है:
+Parametrically बहुरूपी कार्य जैसे <math>\mathsf{id}</math> और <math>\mathsf{append}</math> कहा जाता है कि मनमानी प्रकार <math>\alpha</math> पर पैरामिट्रीकृत किया जाता है.<ref>{{cite web |last1=Wu |first1=Brandon |title=Parametric Polymorphism - SML Help |url=https://smlhelp.github.io/book/concepts/poly.html |website=smlhelp.github.io |access-date=1 October 2022}}</ref> दोनों <math>\mathsf{id}</math> और <math>\mathsf{append}</math> ही प्रकार पर परिचालित किया जाता है, लेकिन कार्यों को मनमाने ढंग से कई प्रकारों पर परिचालित किया जा सकता है। उदाहरण के लिए, <math>\mathsf{fst}</math> और <math>\mathsf{snd}</math> उत्पाद प्रकार के पहले और दूसरे तत्वों को क्रमशः लौटाने वाले कार्यों को निम्न प्रकार दिया जा सकता है:
 :<math>
@@ Line 30: / Line 30: @@
 == इतिहास ==
-पैरामीट्रिक बहुरूपता को पहली बार 1975 में [[एमएल प्रोग्रामिंग भाषा]] में प्रोग्रामिंग भाषाओं के लिए पेश किया गया था।<ref>Milner, R., Morris, L., Newey, M. "A Logic for Computable Functions with reflexive and polymorphic types", ''Proc. Conference on Proving and Improving Programs'', Arc-et-Senans (1975)</ref> आज यह [[मानक एमएल]], [[OCaml]], F Sharp (प्रोग्रामिंग लैंग्वेज)|F#, Ada (प्रोग्रामिंग लैंग्वेज), [[हास्केल (प्रोग्रामिंग भाषा)]], मरकरी (प्रोग्रामिंग लैंग्वेज), [[विजुअल प्रोलॉग]], [[स्काला (प्रोग्रामिंग भाषा)]], जूलिया (प्रोग्रामिंग लैंग्वेज) में मौजूद है। , [[पायथन (प्रोग्रामिंग भाषा)]], [[टाइपप्रति]], [[सी ++]] और अन्य। [[जावा (प्रोग्रामिंग भाषा)]], सी शार्प (प्रोग्रामिंग लैंग्वेज) | सी #, विजुअल बेसिक .NET और [[वस्तु पास्कल]] में से प्रत्येक ने पैरामीट्रिक बहुरूपता के लिए जेनरिक पेश किए हैं। प्रकार के बहुरूपता के कुछ कार्यान्वयन सतही रूप से पैरामीट्रिक बहुरूपता के समान हैं, जबकि तदर्थ पहलुओं को भी प्रस्तुत करते हैं। उदाहरण C++ [[टेम्पलेट विशेषज्ञता]] है।
+पैरामीट्रिक बहुरूपता को पहली बार 1975 में [[एमएल प्रोग्रामिंग भाषा]] में प्रोग्रामिंग भाषाओं के लिए पेश किया गया था।<ref>Milner, R., Morris, L., Newey, M. "A Logic for Computable Functions with reflexive and polymorphic types", ''Proc. Conference on Proving and Improving Programs'', Arc-et-Senans (1975)</ref> आज यह [[मानक एमएल]], [[OCaml|ओकैमल]],एफ शार्प (F#) (प्रोग्रामिंग लैंग्वेज), ऐडा (प्रोग्रामिंग लैंग्वेज), [[हास्केल (प्रोग्रामिंग भाषा)]], मरकरी (प्रोग्रामिंग लैंग्वेज), [[विजुअल प्रोलॉग]], [[स्काला (प्रोग्रामिंग भाषा)]], जूलिया (प्रोग्रामिंग लैंग्वेज) [[पायथन (प्रोग्रामिंग भाषा)]], [[टाइपप्रति]], [[सी ++]] और अन्य में मौजूद है। [[जावा (प्रोग्रामिंग भाषा)]], सी शार्प (प्रोग्रामिंग लैंग्वेज), विजुअल बेसिक डॉट नेट, और [[वस्तु पास्कल|डेल्फ़ी]] में से प्रत्येक ने पैरामीट्रिक बहुरूपता के लिए जेनरिक पेश किए हैं। प्रकार के बहुरूपता के कुछ कार्यान्वयन सतही रूप से पैरामीट्रिक बहुरूपता के समान हैं, जबकि तदर्थ पहलुओं को भी प्रस्तुत करते हैं। उदाहरण C++ [[टेम्पलेट विशेषज्ञता]] है।
 == विधेयता, अभेद्यता, और उच्च-श्रेणी बहुरूपता ==
-=== रैंक -1 (विधेयात्मक) बहुरूपता ===
+=== पंक्ति -1 (विधेयात्मक) बहुरूपता ===
-[[ढिठाई]] टाइप सिस्टम (जिसे [[prenex]] पॉलीमॉर्फिक सिस्टम के रूप में भी जाना जाता है) में, टाइप वेरिएबल्स को पॉलीमॉर्फिक प्रकारों के साथ तत्काल नहीं किया जा सकता है।<ref name="TAPL">{{cite book|author1=Benjamin C. Pierce|author2=Benjamin C. (Professor Pierce, University of Pennsylvania)|title=Types and Programming Languages|url=https://books.google.com/books?id=ti6zoAC9Ph8C|year=2002|publisher=MIT Press|isbn=978-0-262-16209-8}}</ref>{{rp|pages=359–360}} प्रिडिक्टिव टाइप थ्योरी में इंट्यूशनिस्टिक टाइप थ्योरी | मार्टिन-लोफ टाइप थ्योरी और [[एनयूपीआरएल]] शामिल हैं। यह एमएल-शैली या लेट-पॉलीमॉर्फिज्म के समान है (तकनीकी रूप से एमएल के लेट-पॉलिमोर्फिज्म में कुछ अन्य वाक्य-विन्यास प्रतिबंध हैं)।
+[[ढिठाई|विधेय]] प्रकार की प्रणाली में (जिसे [[prenex|प्रीनेक्स]] पॉलीमॉर्फिक सिस्टम के रूप में भी जाना जाता है) टाइप वेरिएबल्स को पॉलीमॉर्फिक प्रकारों के साथ तत्काल नहीं किया जा सकता है।<ref name="TAPL">{{cite book|author1=Benjamin C. Pierce|author2=Benjamin C. (Professor Pierce, University of Pennsylvania)|title=Types and Programming Languages|url=https://books.google.com/books?id=ti6zoAC9Ph8C|year=2002|publisher=MIT Press|isbn=978-0-262-16209-8}}</ref>{{rp|pages=359–360}}  इसमें प्रिडिक्टिव टाइप थ्योरी में इंट्यूशनिस्टिक टाइप थ्योरी मार्टिन-लोफ टाइप थ्योरी और [[एनयूपीआरएल]] शामिल हैं। यह एमएल-शैली या लेट-पॉलीमॉर्फिज्म के समान है (तकनीकी रूप से एमएल के लेट-पॉलिमोर्फिज्म में कुछ अन्य वाक्य-विन्यास प्रतिबंध हैं)।
 यह प्रतिबंध बहुरूपी और गैर-बहुरूपी प्रकारों के बीच अंतर को बहुत महत्वपूर्ण बना देता है; इस प्रकार विधेय प्रणालियों में बहुरूपी प्रकारों को कभी-कभी सामान्य (मोनोमोर्फिक) प्रकारों से अलग करने के लिए प्रकार स्कीमा के रूप में संदर्भित किया जाता है, जिन्हें कभी-कभी मोनोटाइप कहा जाता है।
-भविष्यवाणी का परिणाम यह है कि सभी प्रकारों को ऐसे रूप में लिखा जा सकता है जो सभी परिमाणकों को सबसे बाहरी (प्रेनेक्स) स्थिति में रखता है। उदाहरण के लिए, पर विचार करें <math>\mathsf{append}</math> ऊपर वर्णित कार्य, जिसमें निम्न प्रकार हैं:
+भविष्यवाणी का परिणाम यह है कि सभी प्रकारों को ऐसे रूप में लिखा जा सकता है जो सभी परिमाणकों को सबसे बाहरी (प्रेनेक्स) स्थिति में रखता है। उदाहरण के लिए ऊपर वर्णित, <math>\mathsf{append}</math> फलन पर विचार करें, जिसमें निम्न प्रकार हैं:
 :<math>\mathsf{append} : \forall \alpha. ([\alpha], [\alpha]) \to [\alpha]</math>
-इस फ़ंक्शन को सूचियों की जोड़ी पर लागू करने के लिए, ठोस प्रकार <math>T</math> चर के लिए प्रतिस्थापित किया जाना चाहिए <math>\alpha</math> ऐसा है कि परिणामी फ़ंक्शन प्रकार तर्कों के प्रकार के अनुरूप है। अप्रतिबंधित प्रणाली में, <math>T</math> किसी भी प्रकार का हो सकता है, जिसमें प्रकार भी शामिल है जो स्वयं बहुरूपी है; इस प्रकार <math>\mathsf{append}</math> किसी भी प्रकार के तत्वों के साथ सूचियों के जोड़े पर लागू किया जा सकता है - यहां तक कि बहुरूपी कार्यों की सूचियों पर भी <math>\mathsf{append}</math> अपने आप।
+इस फ़ंक्शन को सूचियों की जोड़ी पर लागू करने के लिए, ठोस प्रकार <math>T</math> चर के लिए <math>\alpha</math> प्रतिस्थापित किया जाना चाहिए जैसे कि परिणामी फ़ंक्शन प्रकार तर्कों के प्रकार के अनुरूप है। अप्रतिबंधित प्रणाली में, <math>T</math> किसी भी प्रकार का हो सकता है, जिसमें प्रकार भी शामिल है जो स्वयं बहुरूपी है; इस प्रकार <math>\mathsf{append}</math> को किसी भी प्रकार के तत्वों के साथ सूचियों के जोड़े पर लागू किया जा सकता है - यहां तक कि स्वयं <math>\mathsf{append}</math> जैसे बहुरूपी कार्यों की सूचियों पर भी लागू किया जा सकता है।
 भाषा एमएल में बहुरूपता विधेय है।{{citation needed|date=February 2019}} ऐसा इसलिए है क्योंकि भविष्यवाणी, अन्य प्रतिबंधों के साथ, [[प्रकार प्रणाली]] को इतना सरल बनाती है कि पूर्ण प्रकार का अनुमान हमेशा संभव होता है।
@@ Line 46: / Line 48: @@
 === उच्च-रैंक बहुरूपता ===
-कुछ प्रकार के सिस्टम इम्प्रिडिकेटिव फंक्शन टाइप कंस्ट्रक्टर का समर्थन करते हैं, भले ही अन्य प्रकार के कंस्ट्रक्टर प्रेडिक्टिव रहते हैं। उदाहरण के लिए, प्रकार <math>(\forall \alpha. \alpha \rightarrow \alpha) \rightarrow T</math> ऐसी प्रणाली में अनुमति है जो उच्च-श्रेणी के बहुरूपता का समर्थन करती है, भले ही <math>[\forall \alpha. \alpha \rightarrow \alpha]</math> नहीं हो सकता।<ref>{{cite web |author1=Kwang Yul Seo |title=Kwang's Haskell Blog - Higher rank polymorphism |url=https://kseo.github.io/posts/2016-12-27-higher-rank-polymorphism.html |website=kseo.github.io |access-date=30 September 2022}}</ref>
+कुछ प्रकार के सिस्टम इम्प्रिडिकेटिव फंक्शन टाइप कंस्ट्रक्टर का समर्थन करते हैं, भले ही अन्य प्रकार के कंस्ट्रक्टर प्रेडिक्टिव रहते हैं। उदाहरण के लिए, <math>(\forall \alpha. \alpha \rightarrow \alpha) \rightarrow T</math> प्रकार ऐसी प्रणाली में अनुमति है जो उच्च-श्रेणी के बहुरूपता का समर्थन करती है, भले ही <math>[\forall \alpha. \alpha \rightarrow \alpha]</math> नहीं हो सकता।<ref>{{cite web |author1=Kwang Yul Seo |title=Kwang's Haskell Blog - Higher rank polymorphism |url=https://kseo.github.io/posts/2016-12-27-higher-rank-polymorphism.html |website=kseo.github.io |access-date=30 September 2022}}</ref>
-प्रकार को रैंक k का कहा जाता है (कुछ निश्चित पूर्णांक k के लिए) यदि इसकी जड़ से a तक कोई रास्ता नहीं है <math>\forall</math> क्वांटिफायर k या अधिक तीरों के बाईं ओर जाता है, जब पेड़ के रूप में टाइप किया जाता है।<ref name="TAPL" />{{rp|359}} प्रकार की प्रणाली को रैंक-के बहुरूपता का समर्थन करने के लिए कहा जाता है यदि यह रैंक के साथ के से कम या उसके बराबर के प्रकारों को स्वीकार करता है। उदाहरण के लिए, प्रकार की प्रणाली जो रैंक -2 बहुरूपता का समर्थन करती है, अनुमति देगी <math>(\forall \alpha. \alpha \rightarrow \alpha) \rightarrow T</math> लेकिन नहीं <math>((\forall \alpha. \alpha \rightarrow \alpha) \rightarrow T) \rightarrow T</math>. प्रकार की प्रणाली जो मनमाना रैंक के प्रकारों को स्वीकार करती है, उसे रैंक-एन बहुरूपी कहा जाता है।
+प्रकार को रैंक k का कहा जाता है (कुछ निश्चित पूर्णांक k के लिए) यदि इसकी जड़ से a तक कोई रास्ता नहीं है <math>\forall</math> क्वांटिफायर k या अधिक तीरों के बाईं ओर जाता है, जब पेड़ के रूप में टाइप किया जाता है।<ref name="TAPL" />{{rp|359}} प्रकार की प्रणाली को रैंक-के बहुरूपता का समर्थन करने के लिए कहा जाता है यदि यह रैंक के साथ के से कम या उसके बराबर के प्रकारों को स्वीकार करता है। उदाहरण के लिए, प्रकार की प्रणाली जो रैंक -2 बहुरूपता का समर्थन करती है, कि <math>(\forall \alpha. \alpha \rightarrow \alpha) \rightarrow T</math> अनुमति देगी लेकिन <math>((\forall \alpha. \alpha \rightarrow \alpha) \rightarrow T) \rightarrow T</math> नहीं. प्रकार की प्रणाली जो मनमाना रैंक के प्रकारों को स्वीकार करती है, उसे रैंक-एन बहुरूपी कहा जाता है।
 रैंक-2 बहुरूपता के लिए प्रकार अनुमान निर्णायक है, लेकिन रैंक-3 और उससे ऊपर के लिए, यह नहीं है।<ref>{{cite journal |last1=Kfoury |first1=A. J. |last2=Wells |first2=J. B. |title=Principality and decidable type inference for finite-rank intersection types |journal=Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages |date=1 January 1999 |pages=161–174 |doi=10.1145/292540.292556 |publisher=Association for Computing Machinery|isbn=1581130953 |s2cid=14183560 |doi-access=free }}</ref><ref name="TAPL" />{{rp|359}}
@@ Line 53: / Line 56: @@
 === प्रतिकूल बहुरूपता ===
-इम्प्रिडिकेटिव पोलिमोर्फिज्म (जिसे प्रथम श्रेणी का पॉलीमॉर्फिज्म भी कहा जाता है) पैरामीट्रिक पॉलीमॉर्फिज्म का सबसे शक्तिशाली रूप है।<ref name="TAPL" />{{rp|340}} [[औपचारिक तर्क]] में, परिभाषा को अप्रतिबंधात्मकता कहा जाता है यदि यह स्व-संदर्भित है; टाइप थ्योरी में, यह प्रकार के क्वांटिफायर के डोमेन में होने की क्षमता को संदर्भित करता है। यह पॉलिमॉर्फिक प्रकारों सहित किसी भी प्रकार के चर के किसी भी प्रकार के इन्स्टेन्शियशन की अनुमति देता है। पूर्ण प्रतिबाधा का समर्थन करने वाली प्रणाली का उदाहरण [[सिस्टम एफ]] है, जो तत्काल करने की अनुमति देता है <math>\forall \alpha. \alpha \to \alpha</math> किसी भी प्रकार से, स्वयं सहित।
+इम्प्रिडिकेटिव पोलिमोर्फिज्म (जिसे प्रथम श्रेणी का पॉलीमॉर्फिज्म भी कहा जाता है) पैरामीट्रिक पॉलीमॉर्फिज्म का सबसे शक्तिशाली रूप है।<ref name="TAPL" />{{rp|340}} [[औपचारिक तर्क]] में, परिभाषा को अप्रतिबंधात्मकता कहा जाता है यदि यह स्व-संदर्भित है; टाइप थ्योरी में, यह प्रकार के क्वांटिफायर के डोमेन में होने की क्षमता को संदर्भित करता है। यह पॉलिमॉर्फिक प्रकारों सहित किसी भी प्रकार के चर के किसी भी प्रकार के इन्स्टेन्शियशन की अनुमति देता है। पूर्ण प्रतिबाधा का समर्थन करने वाली प्रणाली का उदाहरण [[सिस्टम एफ]] है, जो किसी भी प्रकार पर <math>\forall \alpha. \alpha \to \alpha</math> को तत्काल करने की अनुमति देता है, जिसमें स्वयं भी शामिल है।
-टाइप थ्योरी में, सबसे अधिक बार अध्ययन किए जाने वाले इम्प्रेडिकेटिव टाइप लैम्ब्डा कैलकुलस | टाइप किए गए λ-कैलकुली [[लैम्ब्डा घन]], विशेष रूप से सिस्टम एफ पर आधारित होते हैं।
+टाइप थ्योरी में, सबसे अधिक बार अध्ययन किए जाने वाले इम्प्रेडिकेटिव टाइप λ-कैलकुली [[लैम्ब्डा घन]], विशेष रूप से सिस्टम एफ पर आधारित होते हैं।
 == परिबद्ध पैरामीट्रिक बहुरूपता ==

v t e Data types
Uninterpreted	Bit Byte Trit Tryte Word Bit array
Numeric	Arbitrary-precision or bignum Complex Decimal Fixed point Floating point Reduced precision Minifloat Half precision bfloat16 Single precision Double precision Quadruple precision Octuple precision Extended precision Long double Integer signedness Interval Rational
Pointer	Address physical virtual Reference
Text	Character String null-terminated
Composite	Algebraic data type generalized Array Associative array Class Dependent Equality Inductive Intersection List Object metaobject Option type Product Record or Struct Refinement Set Union tagged
Other	Boolean Bottom type Collection Enumerated type Exception Function type Opaque data type Recursive data type Semaphore Stream Top type Type class Unit type Void
Related topics	Abstract data type Boxing Data structure Generic Kind metaclass Parametric polymorphism Primitive data type Interface Subtyping Type constructor Type conversion Type system Type theory Variable

Anonymous

Search

पैरामीट्रिक बहुरूपता: Difference between revisions

Namespaces

More

Page actions

Revision as of 12:38, 16 February 2023

Contents

मूल परिभाषा

इतिहास