सामान्यीकृत बीजीय डेटा प्रकार: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(7 intermediate revisions by 4 users not shown)
Line 2: Line 2:


== सिंहावलोकन ==
== सिंहावलोकन ==
जीएडीटी में, उत्पाद कंस्ट्रक्टर ([[हास्केल (प्रोग्रामिंग भाषा)|हास्केल]] में [[डेटा कंस्ट्रक्टर]] कहा जाता है) अपने रिटर्न वैल्यू (प्रतिफल मान) के प्रकार इंस्टेंशियेशन (दृष्टांतिकरण) के रूप में एडीटी का एक स्पष्ट इंस्टेंशियेशन प्रदान कर सकते हैं। यह कार्यों को अधिक उन्नत प्रकार के व्यवहार के साथ परिभाषित करने की अनुमति देता है। हास्केल 2010 के डेटा कंस्ट्रक्टर के लिए, रिटर्न वैल्यू में कंस्ट्रक्टर के एप्लिकेशन पर एडीटी पैरामीटर्स के इंस्टेंशियशन द्वारा निहित प्रकार इंस्टेंशियशन होता है।
जीएडीटी में, प्रोडक्ट कंस्ट्रक्टर ([[हास्केल (प्रोग्रामिंग भाषा)|हास्केल]] में [[डेटा कंस्ट्रक्टर]] कहा जाता है) अपने रिटर्न वैल्यू (प्रतिफल मान) के प्रकार इंस्टेंशियेशन (दृष्टांतिकरण) के रूप में एडीटी का एक स्पष्ट इंस्टेंशियेशन प्रदान कर सकते हैं। यह कार्यों को अधिक उन्नत प्रकार के व्यवहार के साथ परिभाषित करने की अनुमति देता है। हास्केल 2010 के डेटा कंस्ट्रक्टर के लिए, रिटर्न वैल्यू में कंस्ट्रक्टर के एप्लिकेशन पर एडीटी पैरामीटर्स के इंस्टेंशियशन द्वारा निहित प्रकार इंस्टेंशियशन होता है।


<syntaxhighlight lang="haskell">
<syntaxhighlight lang="haskell">
Line 32: Line 32:


== इतिहास ==
== इतिहास ==
सामान्यीकृत बीजगणितीय डेटा प्रकारों के प्रारंभिक संस्करण का वर्णन किसके द्वारा किया गया था? {{harvtxt|Augustsson|Petersson|1994}} और [[ALF (प्रमेय कहावत)]] में [[पैटर्न मिलान (कार्यात्मक प्रोग्रामिंग)]] पर आधारित है।
सामान्यीकृत बीजीय डेटा प्रकारों का प्रारंभिक संस्करण ऑगस्टसन और पीटरसन (1994) द्वारा वर्णित किया गया था और यह एएलएफ में [[पैटर्न मिलान (कार्यात्मक प्रोग्रामिंग)|पैटर्न मिलान]] पर आधारित था।


सामान्यीकृत बीजगणितीय डेटा प्रकार स्वतंत्र रूप से पेश किए गए थे {{harvtxt|Cheney|Hinze|2003}} और इससे पहले {{harvtxt|Xi|Chen|Chen|2003}} [[एमएल (प्रोग्रामिंग भाषा)]] और हास्केल (प्रोग्रामिंग भाषा) के बीजगणितीय डेटा प्रकारों के विस्तार के रूप में।{{sfn|Cheney|Hinze|2003|p=25}} दोनों मूलतः एक दूसरे के समकक्ष हैं। वे कोक के [[आगमनात्मक निर्माणों की गणना]] और अन्य आश्रित रूप से टाइप की गई भाषाओं में पाए जाने वाले बीजगणितीय डेटा प्रकार (या आगमनात्मक डेटाटाइप) के समान हैं, आश्रित प्रकारों को मॉड्यूलो करते हैं और सिवाय इसके कि बाद वाले में एक अतिरिक्त [[सकारात्मकता प्रतिबंध]] होता है जो जीएडीटी में लागू नहीं होता है।{{sfn|Cheney|Hinze|2003|pp=25–26}}
सामान्यीकृत बीजगणितीय डेटा प्रकार स्वतंत्र रूप से चेनी और हिंज (2003) द्वारा और उससे पहले शी, चेन और चेन (2003) द्वारा [[एमएल (प्रोग्रामिंग भाषा)|एमएल]] और हास्केल के बीजीय डेटा प्रकारों के विस्तार के रूप में पेश किए गए थे।{{sfn|Cheney|Hinze|2003|p=25}} दोनों मूलतः एक-दूसरे के समतुल्य हैं। वे सीओक्यू के कैलकुलस ऑफ इंडक्टिव कंस्ट्रक्शन और अन्य आश्रित रूप से टाइप की गई भाषाओं में पाए जाने वाले डेटा प्रकारों (या ''इंडक्टिव डेटाटाइप्स'') के ''इंडक्टिव वर्गों'' के समान हैं, आश्रित प्रकारों को मॉड्यूल करते हैं और सिवाय इसके कि उत्तरार्द्ध में एक अतिरिक्त [[सकारात्मकता प्रतिबंध]] है जो जीएडीटी में लागू नहीं होता है।{{sfn|Cheney|Hinze|2003|pp=25–26}}


{{harvtxt|Sulzmann|Wazny|Stuckey|2006}} विस्तारित बीजगणितीय डेटा प्रकार पेश किए गए जो जीएडीटी को [[अस्तित्वगत प्रकार]] और [[प्रकार वर्ग]] बाधाओं के साथ जोड़ते हैं।
सुल्ज़मैन, वाज़नी और स्टकी (2006) ने विस्तारित बीजीय डेटा प्रकार पेश किए जो जीएडीटी को अस्तित्वगत डेटा प्रकारों और प्रकार वर्ग बाधाओं के साथ संबद्ध करते हैं।
<!-- none of this has every been defined, a full cite must be supplied.
introduced by {{harvtxt|Perry|1991}}, {{harvtxt|Läufer|Odersky|1994}} and {{harvtxt|Läufer|1996}}.
-->
किसी भी प्रोग्रामर द्वारा प्रदत्त प्रकार के एनोटेशन की अनुपस्थिति में प्रकार का अनुमान [[अनिर्णीत समस्या]] है{{sfn|Peyton Jones|Washburn|Weirich|2004|p=7}} और जीएडीटी पर परिभाषित फ़ंक्शन सामान्य रूप से [[प्रमुख प्रकार]]ों को स्वीकार नहीं करते हैं।{{sfn|Schrijvers|Peyton Jones|Sulzmann|Vytiniotis|2009|p=1}} प्रकार के पुनर्निर्माण के लिए कई डिज़ाइन ट्रेड-ऑफ़ की आवश्यकता होती है और यह सक्रिय अनुसंधान का क्षेत्र है ({{harvnb|Peyton Jones|Washburn|Weirich|2004}}; {{harvnb|Peyton Jones|Vytiniotis|Weirich|Washburn|2006}}.
<!-- none of this has every been defined, a full cite must be supplied.
; {{harvnb|Pottier|Régis-Gianas|2006}}; {{harvnb|Sulzmann|Schrijvers|Stuckey|2006}}; {{harvnb|Simonet|Pottier|2007}}; {{harvnb|Schrijvers|Peyton Jones|Sulzmann|Vytiniotis|2009}}; {{harvnb|Lin|Sheard|2010a}}; {{harvnb|Lin|Sheard|2010b}}; {{harvnb|Vytiniotis|Peyton Jones|Schrijvers|2010}}; {{harvnb|Vytiniotis|Peyton Jones|Schrijvers|Martin Sulzmann|2011}}).-->
वसंत 2021 में, स्काला 3.0 जारी किया गया है।<ref name="scala3-is-here">{{cite web |last1=Kmetiuk |first1=Anatolii |title=SCALA 3 IS HERE!🎉🎉🎉 |url=https://www.scala-lang.org/blog/2021/05/14/scala3-is-here.html |website=scala-lang.org |publisher=École Polytechnique Fédérale Lausanne (EPFL) Lausanne, Switzerland |access-date=19 May 2021}}</ref> [[स्काला (प्रोग्रामिंग भाषा)]] का यह प्रमुख अद्यतन GADTs लिखने की संभावना प्रस्तुत करता है<ref>{{cite web |title=SCALA 3 — BOOK ALGEBRAIC DATA TYPES |url=https://docs.scala-lang.org/scala3/book/types-adts-gadts.html#generalized-algebraic-datatypes-gadts |website=scala-lang.org |publisher=École Polytechnique Fédérale Lausanne (EPFL) Lausanne, Switzerland |access-date=19 May 2021 |ref=gadt-scala3}}</ref> बीजगणितीय डेटा प्रकार के समान वाक्यविन्यास के साथ, जो [[ मार्टिन ओडर्सकी ]] के अनुसार अन्य [[प्रोग्रामिंग भाषा]] में नहीं है।<ref>{{cite web |last1=Odersky |first1=Martin |title=A Tour of Scala 3 - Martin Odersky |url=https://www.youtube.com/watch?v=_Rnrx2lo9cw  |archive-url=https://ghostarchive.org/varchive/youtube/20211219/_Rnrx2lo9cw |archive-date=2021-12-19 |url-status=live|website=youtube.com |publisher=Scala Days Conferences |access-date=19 May 2021 |ref=scala3-tour}}{{cbignore}}</ref>


किसी भी प्रोग्रामर द्वारा प्रदत्त प्रकार के एनोटेशन के अभाव में प्रकार का अनुमान अनिर्णीत है{{sfn|Peyton Jones|Washburn|Weirich|2004|p=7}} और जीएडीटी पर परिभाषित फ़ंक्शन सामान्य रूप से प्रमुख प्रकारों को स्वीकार नहीं करते हैं।{{sfn|Schrijvers|Peyton Jones|Sulzmann|Vytiniotis|2009|p=1}} टाइप पुनर्निर्माण के लिए कई डिज़ाइन ट्रेड-ऑफ़ की आवश्यकता होती है और यह सक्रिय अनुसंधान का एक क्षेत्र है (पेयटन जोन्स, वॉशबर्न और वेइरिच 2004; पेयटन जोन्स एट अल 2006)।


2021 के स्प्रिंग में, स्काला 3.0 जारी किया गया है।<ref name="scala3-is-here">{{cite web |last1=Kmetiuk |first1=Anatolii |title=SCALA 3 IS HERE!🎉🎉🎉 |url=https://www.scala-lang.org/blog/2021/05/14/scala3-is-here.html |website=scala-lang.org |publisher=École Polytechnique Fédérale Lausanne (EPFL) Lausanne, Switzerland |access-date=19 May 2021}}</ref> [[स्काला (प्रोग्रामिंग भाषा)|स्काला]] का यह प्रमुख अपडेट एडीटी के समान सिंटैक्स के साथ जीएडीटी<ref>{{cite web |title=SCALA 3 — BOOK ALGEBRAIC DATA TYPES |url=https://docs.scala-lang.org/scala3/book/types-adts-gadts.html#generalized-algebraic-datatypes-gadts |website=scala-lang.org |publisher=École Polytechnique Fédérale Lausanne (EPFL) Lausanne, Switzerland |access-date=19 May 2021 |ref=gadt-scala3}}</ref> लिखने की संभावना पेश करता है, जो [[ मार्टिन ओडर्सकी |मार्टिन ओडर्सकी]] के अनुसार अन्य प्रोग्रामिंग भाषाओं में नहीं है।<ref>{{cite web |last1=Odersky |first1=Martin |title=A Tour of Scala 3 - Martin Odersky |url=https://www.youtube.com/watch?v=_Rnrx2lo9cw  |archive-url=https://ghostarchive.org/varchive/youtube/20211219/_Rnrx2lo9cw |archive-date=2021-12-19 |url-status=live|website=youtube.com |publisher=Scala Days Conferences |access-date=19 May 2021 |ref=scala3-tour}}{{cbignore}}</ref>
== अनुप्रयोग ==
== अनुप्रयोग ==
जीएडीटी के अनुप्रयोगों में [[सामान्य प्रोग्रामिंग]], मॉडलिंग प्रोग्रामिंग भाषाएं ([[उच्च-क्रम अमूर्त वाक्यविन्यास]]), [[डेटा संरचना]]ओं में [[अपरिवर्तनीय (कंप्यूटर विज्ञान)]] को बनाए रखना, [[एम्बेडेड डोमेन-विशिष्ट भाषा]]ओं में बाधाओं को व्यक्त करना और मॉडलिंग ऑब्जेक्ट शामिल हैं।{{sfn|Peyton Jones|Washburn|Weirich|2004|p=3}}
जीएडीटी के अनुप्रयोगों में [[सामान्य प्रोग्रामिंग]], मॉडलिंग प्रोग्रामिंग भाषाएं ([[उच्च-क्रम अमूर्त वाक्यविन्यास]]), डेटा संरचनाओं में अपरिवर्तनीयता बनाए रखना, एम्बेडेड डोमेन-विशिष्ट भाषाओं में बाधाओं को व्यक्त करना और मॉडलिंग ऑब्जेक्ट सम्मिलित हैं।{{sfn|Peyton Jones|Washburn|Weirich|2004|p=3}}


=== उच्च-क्रम अमूर्त वाक्यविन्यास ===
=== उच्च-क्रम अमूर्त वाक्यविन्यास ===
{{further|Higher-order abstract syntax}}
{{further|उच्च-क्रम अमूर्त वाक्यविन्यास}}
जीएडीटी का एक महत्वपूर्ण अनुप्रयोग उच्च-क्रम अमूर्त वाक्यविन्यास को एक प्रकार से सुरक्षित तरीके से एम्बेड करना है। यहां [[आधार प्रकार]], ट्यूपल (कंप्यूटर विज्ञान) और एक निश्चित बिंदु कॉम्बिनेटर के मनमाने संग्रह के साथ सरल रूप से टाइप किए गए लैम्ब्डा कैलकुलस का एक एम्बेडिंग है:
 
जीएडीटी का एक महत्वपूर्ण अनुप्रयोग उच्च-क्रम के अमूर्त वाक्यविन्यास को एक प्रकार-सुरक्षित विधि से एम्बेड करना है। यहां आधार प्रकारों, ट्यूपल्स और एक निश्चित बिंदु कॉम्बिनेटर के मनमाने संग्रह के साथ सरल रूप से टाइप किए गए लैम्ब्डा कैलकुलस का एक एम्बेडिंग है:


<syntaxhighlight lang="haskell">
<syntaxhighlight lang="haskell">
Line 61: Line 57:
   Fix  :: Lam (a -> a)          -> Lam a        -- ^ fixed point
   Fix  :: Lam (a -> a)          -> Lam a        -- ^ fixed point
</syntaxhighlight>
</syntaxhighlight>
और एक प्रकार का सुरक्षित मूल्यांकन फ़ंक्शन:
और एक प्रकार का सुरक्षित मूल्यांकन फंक्शन:
<syntaxhighlight lang="haskell">
<syntaxhighlight lang="haskell">
eval :: Lam t -> t
eval :: Lam t -> t
Line 70: Line 66:
eval (Fix f)    = (eval f) (eval (Fix f))
eval (Fix f)    = (eval f) (eval (Fix f))
</syntaxhighlight>
</syntaxhighlight>
फैक्टोरियल फ़ंक्शन को अब इस प्रकार लिखा जा सकता है:
भाज्य फलन को अब इस प्रकार लिखा जा सकता है:
<syntaxhighlight lang="haskell">
<syntaxhighlight lang="haskell">
fact = Fix (Lam (\f -> Lam (\y -> Lift (if eval y == 0 then 1 else eval y * (eval f) (eval y - 1)))))
fact = Fix (Lam (\f -> Lam (\y -> Lift (if eval y == 0 then 1 else eval y * (eval f) (eval y - 1)))))
eval(fact)(10)
eval(fact)(10)
</syntaxhighlight>
</syntaxhighlight>
हमें नियमित बीजगणितीय डेटा प्रकारों का उपयोग करने में समस्याओं का सामना करना पड़ता। प्रकार पैरामीटर को छोड़ने से उठाए गए आधार प्रकार अस्तित्वगत रूप से परिमाणित हो जाते, जिससे मूल्यांकनकर्ता को लिखना असंभव हो जाता। एक प्रकार के पैरामीटर के साथ हम अभी भी एक आधार प्रकार तक ही सीमित रहेंगे। इसके अलावा, ख़राब अभिव्यक्तियाँ जैसे <code>App (Lam (\x -> Lam (\y -> App x y))) (Lift True)</code> निर्माण करना संभव होता, जबकि वे GADT का उपयोग करके गलत टाइप किए गए हैं। एक सुगठित एनालॉग है <code>App (Lam (\x -> Lam (\y -> App x y))) (Lift (\z -> True))</code>. ऐसा इसलिए है क्योंकि का प्रकार <code>x</code> है <code>Lam (a -> b)</code>, के प्रकार से अनुमान लगाया गया है <code>Lam</code> डेटा कंस्ट्रक्टर.
हमें नियमित बीजीय डेटा प्रकारों का उपयोग करने में समस्याओं का सामना करना पड़ा होगा। प्रकार पैरामीटर को छोड़ने से उठाए गए आधार प्रकारों को अस्तित्वगत रूप से परिमाणित किया जा सकता है, जिससे मूल्यांकनकर्ता को लिखना असंभव हो जाता है। एक प्रकार के पैरामीटर के साथ, हम अभी भी एक ही आधार प्रकार तक सीमित रहेंगे। इसके अलावा,<code>App (Lam (\x -> Lam (\y -> App x y))) (Lift True)</code>जैसे गलत तरीके से बनाए गए व्यंजक का निर्माण संभव होगा, जबकि वे जीएडीटी का उपयोग करके गलत टाइप किए गए हैं। एक सुगठित एनालॉग <code>App (Lam (\x -> Lam (\y -> App x y))) (Lift (\z -> True))</code> है। इसका कारण यह है कि <code>x</code> का प्रकार <code>Lam (a -> b)</code> है, जिसका अनुमान <code>Lam</code>डेटा कंस्ट्रक्टर के प्रकार से लगाया गया है।


==यह भी देखें==
==यह भी देखें==
* प्रकार चर
* चर प्रकार


== टिप्पणियाँ ==
== टिप्पणियाँ ==
{{reflist|30em}}
{{reflist|30em}}
== अग्रिम पठन ==
== अग्रिम पठन ==
{{refbegin|2}}
{{refbegin|2}}
Line 117: Line 111:


{{data types}}
{{data types}}
[[Category: कार्यात्मक प्रोग्रामिंग]] [[Category: निर्भरता से टाइप की गई प्रोग्रामिंग]] [[Category: प्रकार सिद्धांत]] [[Category: समग्र डेटा प्रकार]] [[Category: डेटा के प्रकार]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Collapse templates]]
[[Category:Created On 08/07/2023]]
[[Category:Created On 08/07/2023]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:कार्यात्मक प्रोग्रामिंग]]
[[Category:डेटा के प्रकार]]
[[Category:निर्भरता से टाइप की गई प्रोग्रामिंग]]
[[Category:प्रकार सिद्धांत]]
[[Category:समग्र डेटा प्रकार]]

Latest revision as of 17:04, 29 July 2023

कार्यात्मक प्रोग्रामिंग में, एक सामान्यीकृत बीजगणितीय डेटा प्रकार (जीएडीटी, प्रथम श्रेणी फैंटम प्रकार,[1] संरक्षित पुनरावर्ती डेटाटाइप,[2] या समानता-योग्य प्रकार [3]) पैरामीट्रिक बीजगणितीय डेटा प्रकारों का एक सामान्यीकरण है।

सिंहावलोकन

जीएडीटी में, प्रोडक्ट कंस्ट्रक्टर (हास्केल में डेटा कंस्ट्रक्टर कहा जाता है) अपने रिटर्न वैल्यू (प्रतिफल मान) के प्रकार इंस्टेंशियेशन (दृष्टांतिकरण) के रूप में एडीटी का एक स्पष्ट इंस्टेंशियेशन प्रदान कर सकते हैं। यह कार्यों को अधिक उन्नत प्रकार के व्यवहार के साथ परिभाषित करने की अनुमति देता है। हास्केल 2010 के डेटा कंस्ट्रक्टर के लिए, रिटर्न वैल्यू में कंस्ट्रक्टर के एप्लिकेशन पर एडीटी पैरामीटर्स के इंस्टेंशियशन द्वारा निहित प्रकार इंस्टेंशियशन होता है।

-- A parametric ADT that is not a GADT
data List a = Nil | Cons a (List a)

integers = Cons 12 (Cons 107 Nil)       -- the type of integers is List Int
strings = Cons "boat" (Cons "dock" Nil) -- the type of strings is List String

-- A GADT
data Expr a where
    EBool  :: Bool     -> Expr Bool
    EInt   :: Int      -> Expr Int
    EEqual :: Expr Int -> Expr Int  -> Expr Bool

eval :: Expr a -> a

eval e = case e of
    EBool a    -> a
    EInt a     -> a
    EEqual a b -> (eval a) == (eval b)

expr1 = EEqual (EInt 2) (EInt 3)        -- the type of expr1 is Expr Bool
ret = eval expr1                        -- ret is False

वे वर्तमान में जीएचसी कंपाइलर में एक गैर-मानक एक्सटेंशन के रूप में कार्यान्वित किए जाते हैं, जिनका उपयोग अन्य लोगों के अलावा, पग्स और डार्क्स द्वारा किया जाता है। ओकैमल संस्करण 4.00 से मूल रूप से जीएडीटी का समर्थन करता है।[4]

जीएचसी कार्यान्वयन अस्तित्वगत मात्रात्मक प्रकार के मापदंडों और स्थानीय बाधाओं के लिए समर्थन प्रदान करता है।

इतिहास

सामान्यीकृत बीजीय डेटा प्रकारों का प्रारंभिक संस्करण ऑगस्टसन और पीटरसन (1994) द्वारा वर्णित किया गया था और यह एएलएफ में पैटर्न मिलान पर आधारित था।

सामान्यीकृत बीजगणितीय डेटा प्रकार स्वतंत्र रूप से चेनी और हिंज (2003) द्वारा और उससे पहले शी, चेन और चेन (2003) द्वारा एमएल और हास्केल के बीजीय डेटा प्रकारों के विस्तार के रूप में पेश किए गए थे।[5] दोनों मूलतः एक-दूसरे के समतुल्य हैं। वे सीओक्यू के कैलकुलस ऑफ इंडक्टिव कंस्ट्रक्शन और अन्य आश्रित रूप से टाइप की गई भाषाओं में पाए जाने वाले डेटा प्रकारों (या इंडक्टिव डेटाटाइप्स) के इंडक्टिव वर्गों के समान हैं, आश्रित प्रकारों को मॉड्यूल करते हैं और सिवाय इसके कि उत्तरार्द्ध में एक अतिरिक्त सकारात्मकता प्रतिबंध है जो जीएडीटी में लागू नहीं होता है।[6]

सुल्ज़मैन, वाज़नी और स्टकी (2006) ने विस्तारित बीजीय डेटा प्रकार पेश किए जो जीएडीटी को अस्तित्वगत डेटा प्रकारों और प्रकार वर्ग बाधाओं के साथ संबद्ध करते हैं।

किसी भी प्रोग्रामर द्वारा प्रदत्त प्रकार के एनोटेशन के अभाव में प्रकार का अनुमान अनिर्णीत है[7] और जीएडीटी पर परिभाषित फ़ंक्शन सामान्य रूप से प्रमुख प्रकारों को स्वीकार नहीं करते हैं।[8] टाइप पुनर्निर्माण के लिए कई डिज़ाइन ट्रेड-ऑफ़ की आवश्यकता होती है और यह सक्रिय अनुसंधान का एक क्षेत्र है (पेयटन जोन्स, वॉशबर्न और वेइरिच 2004; पेयटन जोन्स एट अल 2006)।

2021 के स्प्रिंग में, स्काला 3.0 जारी किया गया है।[9] स्काला का यह प्रमुख अपडेट एडीटी के समान सिंटैक्स के साथ जीएडीटी[10] लिखने की संभावना पेश करता है, जो मार्टिन ओडर्सकी के अनुसार अन्य प्रोग्रामिंग भाषाओं में नहीं है।[11]

अनुप्रयोग

जीएडीटी के अनुप्रयोगों में सामान्य प्रोग्रामिंग, मॉडलिंग प्रोग्रामिंग भाषाएं (उच्च-क्रम अमूर्त वाक्यविन्यास), डेटा संरचनाओं में अपरिवर्तनीयता बनाए रखना, एम्बेडेड डोमेन-विशिष्ट भाषाओं में बाधाओं को व्यक्त करना और मॉडलिंग ऑब्जेक्ट सम्मिलित हैं।[12]

उच्च-क्रम अमूर्त वाक्यविन्यास

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

data Lam :: * -> * where
  Lift :: a                     -> Lam a        -- ^ lifted value
  Pair :: Lam a -> Lam b        -> Lam (a, b)   -- ^ product
  Lam  :: (Lam a -> Lam b)      -> Lam (a -> b) -- ^ lambda abstraction
  App  :: Lam (a -> b) -> Lam a -> Lam b        -- ^ function application
  Fix  :: Lam (a -> a)          -> Lam a        -- ^ fixed point

और एक प्रकार का सुरक्षित मूल्यांकन फंक्शन:

eval :: Lam t -> t
eval (Lift v)   = v
eval (Pair l r) = (eval l, eval r)
eval (Lam f)    = \x -> eval (f (Lift x))
eval (App f x)  = (eval f) (eval x)
eval (Fix f)    = (eval f) (eval (Fix f))

भाज्य फलन को अब इस प्रकार लिखा जा सकता है:

fact = Fix (Lam (\f -> Lam (\y -> Lift (if eval y == 0 then 1 else eval y * (eval f) (eval y - 1)))))
eval(fact)(10)

हमें नियमित बीजीय डेटा प्रकारों का उपयोग करने में समस्याओं का सामना करना पड़ा होगा। प्रकार पैरामीटर को छोड़ने से उठाए गए आधार प्रकारों को अस्तित्वगत रूप से परिमाणित किया जा सकता है, जिससे मूल्यांकनकर्ता को लिखना असंभव हो जाता है। एक प्रकार के पैरामीटर के साथ, हम अभी भी एक ही आधार प्रकार तक सीमित रहेंगे। इसके अलावा,App (Lam (\x -> Lam (\y -> App x y))) (Lift True)जैसे गलत तरीके से बनाए गए व्यंजक का निर्माण संभव होगा, जबकि वे जीएडीटी का उपयोग करके गलत टाइप किए गए हैं। एक सुगठित एनालॉग App (Lam (\x -> Lam (\y -> App x y))) (Lift (\z -> True)) है। इसका कारण यह है कि x का प्रकार Lam (a -> b) है, जिसका अनुमान Lamडेटा कंस्ट्रक्टर के प्रकार से लगाया गया है।

यह भी देखें

  • चर प्रकार

टिप्पणियाँ

  1. Cheney & Hinze 2003.
  2. Xi, Chen & Chen 2003.
  3. Sheard & Pasalic 2004.
  4. "OCaml 4.00.1". ocaml.org.
  5. Cheney & Hinze 2003, p. 25.
  6. Cheney & Hinze 2003, pp. 25–26.
  7. Peyton Jones, Washburn & Weirich 2004, p. 7.
  8. Schrijvers et al. 2009, p. 1.
  9. Kmetiuk, Anatolii. "SCALA 3 IS HERE!🎉🎉🎉". scala-lang.org. École Polytechnique Fédérale Lausanne (EPFL) Lausanne, Switzerland. Retrieved 19 May 2021.
  10. "SCALA 3 — BOOK ALGEBRAIC DATA TYPES". scala-lang.org. École Polytechnique Fédérale Lausanne (EPFL) Lausanne, Switzerland. Retrieved 19 May 2021.
  11. Odersky, Martin. "A Tour of Scala 3 - Martin Odersky". youtube.com. Scala Days Conferences. Archived from the original on 2021-12-19. Retrieved 19 May 2021.
  12. Peyton Jones, Washburn & Weirich 2004, p. 3.

अग्रिम पठन

Applications
Semantics
Type reconstruction
Other


बाहरी संबंध