प्योर (प्रोग्रामिंग लैंग्वेज)

From Vigyanwiki
Revision as of 13:21, 14 March 2023 by alpha>Sugatha
Pure
File:Pure lang logo.png
ParadigmFunctional, declarative, term rewriting
द्वारा डिज़ाइन किया गयाAlbert Gräf
DeveloperAlbert Gräf
पहली प्रस्तुति2008; 16 years ago (2008)
Stable release
0.68 / 11 April 2018; 6 years ago (2018-04-11)
टाइपिंग अनुशासनStrong, dynamic
ओएसCross-platform: FreeBSD, Linux, macOS, Windows
लाइसेंसGNU Lesser General Public License
वेबसाइटagraef.github.io/pure-lang/
Influenced by
Q, Haskell, Lisp, Alice, MATLAB

प्योर, समीकरण लैंग्वेज Q के आनुक्रमिक, गतिशील रूप से टाइप की गई, कार्यात्मक प्रोग्रामिंग लैंग्वेज है जो शब्द पुनर्लेखन पर आधारित है। इसमें यूजर-डिफ़ाइंड ऑपरेटर (प्रोग्रामिंग) सिंटैक्स, मैक्रो (कंप्यूटर विज्ञान), यादृच्छिक-परिशुद्धता अंकगणित (बहु-परिशुद्धता संख्या) और एलएलवीएम के माध्यम से प्राकृत कूट के संकलन की सुविधा है। प्योर जीएनयू लेसर जनरल पब्लिक लाइसेंस वर्जन 3 या बाद के संस्करण के तहत वितरित (ज्यादातर) निःशुल्क और मुक्तस्रोत सॉफ्टवेयर है।

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

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

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

उदाहरण

फाइबोनैचि संख्या (भोले संस्करण):

fib 0 = 0;
fib 1 = 1;
fib n = fib (n-2) + fib (n-1) if n>1;

बेहतर (टेल-रिकर्सिव और लीनियर-टाइम) संस्करण:

 fib n = fibs (0,1) n with
  fibs (a,b) n = if n<=0 then a else fibs (b,a+b) (n-1);
end;

पहले 20 फाइबोनैचि संख्याओं की गणना करें:

map fib (1..20);

एन क्वीन्स प्रॉब्लम के लिए कलन विधि जो बैकट्रैकिंग खोज को व्यवस्थित करने के लिए सूची समझ को नियोजित करता है:

 queens n = search n 1 [] with
  search n i p  = [reverse p] if i>n;
                = cat [search n (i+1) ((i,j):p) | j = 1..n; safe (i,j) p];
  safe (i,j) p  = ~any (check (i,j)) p;
  check (i1,j1) (i2,j2)
                = i1==i2 || j1==j2 || i1+j1==i2+j2 || i1-j1==i2-j2;
end;

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

 primes = sieve (2..inf) with
  sieve (p:qs) = p : sieve [q | q = qs; q mod p] &;
end;

& का उपयोग ऑपरेटर को इसकी गणना में देरी करने के लिए थंक में बदल देता है। जब सूची के संबंधित भाग तक पहुँचा जाता है, तो थंक का मूल्यांकन निहित रूप से किया जाता है और फिर संस्मरण (आवश्यक मूल्यांकन द्वारा कॉल का उपयोग करके) किया जाता है, उदाहरण के लिए:

primes!!(0..99); // yields the first 100 primes

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

gauss_elimination x::matrix = p,x when n,m = dim x; p,_,x = foldl step (0..n-1,0,x) (0..m-1) end;
step (p,i,x) j = if max_x==0 then p,i,x else
   // updated row permutation and index:
   transp i max_i p, i+1,
   {// the top rows of the matrix remain unchanged:
    x!!(0..i-1,0..m-1);
    // the pivot row, divided by the pivot element:
    {x!(i,l)/x!(i,j)                 | l=0..m-1};
    // subtract suitable multiples of the pivot row:
    Template:X!(k,l)-x!(k,j)*x!(i,l)/x!(i,j)
when
 n,m = dim x; max_i, max_x = pivot i (col x j);
 x = if max_x>0 then swap x i max_i else x;
end with
 pivot i x = foldl max (0,0) [j,abs (x!j)|j=i..#x-1];
 max (i,x) (j,y) = if x<y then j,y else i,x;
end;
/* Swap rows i and j of the matrix x. */
swap x i j = x!!(transp i j (0..n-1),0..m-1) when n,m = dim x end;
/* Apply a transposition to a permutation. */
transp i j p = [p!tr k | k=0..#p-1] with tr k = if k==i then j else if k==j then i else k end;
/* Example: */
let x = dmatrix {2,1,-1,8; -3,-1,2,-11; -2,1,2,-3}; x; gauss_elimination x;

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

expand = reduce with
  (a+b)*c = a*c+b*c;
  a*(b+c) = a*b+a*c;
end;

factor = reduce with
  a*c+b*c = (a+b)*c;
  a*b+a*c = a*(b+c);
end;

expand ((a+b)*2); // yields a*2+b*2
factor (a*2+b*2); // yields (a+b)*2

प्योर (प्रोग्रामिंग लैंग्वेज) से C (प्रोग्रामिंग लैंग्वेज) फंक्शन को कॉल करना बहुत आसान है। उदाहरण के लिए, निम्नलिखित आयात करता है puts C लाइब्रेरी से कार्य करता है और स्ट्रिंग को प्रिंट करने के लिए इसका उपयोग करता है "Hello, world!" टर्मिनल पर:

extern int puts(char*);
hello = puts "Hello, world!";
hello;

यह भी देखें

संदर्भ


टिप्पणियाँ

  1. Turner, David A. SASL language manual. Tech. rept. CS/75/1. Department of Computational Science, University of St. Andrews 1975.


बाहरी संबंध