View source for SETL (एसईटी लैंग्वेज)

{{Short description|Programming language}}
{{Infobox programming language
| logo                   = 
| paradigm               = [[Multi-paradigm programming language|multi-paradigm]]: [[Imperative programming|imperative]], [[Procedural programming|procedural]], [[Structured programming|structured]], [[Object-oriented programming|object-oriented]]
| released               = {{Start date and age|1969}}
| designer               = (Jack) [[Jacob T. Schwartz]]
| developer              = [[Courant Institute of Mathematical Sciences]]
| latest release version = 1.1
| latest release date    = {{Start date and age|2005|01|07}}
| typing                 = [[Type system#DYNAMIC|Dynamic]]
| implementations        = 
| dialects               = 
| website                = {{URL|setl.org}}
| influenced_by          = [[ALGOL 60]]
| influenced             = [[SETL2]], [[ISETL]], [[SETLX]], [[Starset]], [[ABC (programming language)|ABC]]
}}

'''सेट्ल''' ('''SETL-'''एसईटी लैंग्वेज) गणितीय समुच्चय सिद्धांत पर आधारित एक बहुत ही उच्च स्तरीय प्रोग्रामिंग लैंग्वेज है। इसे मूल रूप से 1960 के दशक के अंत में [[न्यूयॉर्क विश्वविद्यालय]] (एनवाईयू) [[गणितीय विज्ञान के कूरेंट संस्थान]] में (जैक) जैकब टी. श्वार्ट्ज द्वारा विकसित किया गया था।

== डिज़ाइन ==
सेट्ल दो बेसिक एग्रीगेट डेटा टाइप प्रदान करता है: अनऑर्डरड समुच्चय, और सीक्वेंस (बाद वाले को टुपल्स भी कहा जाता है)। समुच्चय और टुपल्स किसी भी स्वेच्छाचारी प्रकार के हो सकते हैं, जिनमें स्वयं समुच्चय और टुपल्स भी सम्मिलित हैं। मानचित्र जोड़े के समुच्चय के रूप में प्रदान किए जाते हैं (यानी, लंबाई 2 के टुपल्स) और इसमें स्वेच्छाचारी ढंग से डोमेन और रेंज टाइप हो सकते हैं। सेट्ल में आदिम संचालन में समुच्चय सदस्यता, यूनियन, इंटरसेक्शन और पावर समुच्चय निर्माण आदि सम्मिलित हैं।

सेट्ल [[प्रथम-क्रम विधेय तर्क|फर्स्ट-आर्डर प्रेडीकेट लॉजिक]] के [[सार्वभौमिक परिमाणक|यूनिवर्सल]] [[अस्तित्वगत परिमाणक|क्वांटीफायर]] और [[अस्तित्वगत परिमाणक|एक्सिस्टेंशियल क्वांटीफायर]] का उपयोग करके निर्मित परिमाणित बूलियन एक्सप्रेशन प्रदान करता है।

सेट्ल समग्र डेटा संरचनाओं पर विभिन्न प्रकार के लूप उत्पन्न करने के लिए कई इटीरेटर प्रदान करता है।

== उदाहरण ==
2 से लेकर {{Var|N}} तक सभी प्राइम नंबर प्रिंट करें :
 print([n in [2..N] | forall m in {2..n - 1} | n mod m > 0]);
नोटेशन [[सूची समझ|लिस्ट कॉम्प्रिहेंशन]] के समान है।

एक फ़ैक्टोरियल प्रोसीजर परिभाषा:
 procईडीure factorial(n); -- calculatईएस the factorial n!
   return if n = 1 then 1 else n * factorial(n - 1) end if;
 end factorial;

फ़ैक्टोरियल (n > 0) के लिए एक अधिक कन्वेंशनल सेट्ल अभिव्यक्ति:
 */[1..n]

== उपयोग ==
सेट्ल का कार्यान्वयन डीईसी [[VAX|वीएएक्स]], आईबीएम/370, [[सन माइक्रोसिस्टम्स]] वर्कस्टेशन और [[अपोलो कंप्यूटर]] पर उपलब्ध था।<ref>{{cite book
 | title = Programming with sets. An Introduction to SETL
 | author = J.T. Schwartz
 | author2 = R.B.K. Dewar
 | author3 = E. Dubinsky
 | author4 = E. Schonberg
 | publisher = Springer-Verlag New York Inc.
 | year = 1986
 | isbn = 978-1-4613-9577-5
 | url = https://books.google.com/books?id=4pfbBwAAQBAJ&pg=PR6
}}</ref>

1970 के दशक में, सेट्ल को [[BESM-6|बीईएसएम-6]], ईएस ईवीएम और अन्य रूसी कंप्यूटर सिस्टम में पोर्ट किया गया था।<ref>{{cite book
 | title = Становление новосибирской школы программирования (мозаика воспоминаний)
 | trans-title = Formation of the Novosibirsk school of programming (mosaic of memories)
 | editor = И.В. Поттосин
 | location = Новосибирск
 | publisher = Институт систем информатики им. А. П. Ершова СО РАН
 | year = 2001
 | pages = 106–113
 | url = https://www.iis.nsk.su/files/articles/mozaika.pdf
 | language = ru
}}</ref>

सेट्ल का उपयोग प्रोग्रामिंग लैंग्वेज एडीए (प्रोग्रामिंग लैंग्वेज) के प्रारंभिक कार्यान्वयन के लिए किया गया था, जिसे एनवाईयू एडीए/ईडी अनुवादक नाम दिया गया था। <ref>{{cite book |first1=Robert B. K. |last1=Dewar |first2=Gerald A. |last2=Fisher Jr. |first3=Edmond |last3=Schonberg |first4=Robert |last4=Froelich |first5=Stephen |last5=Bryant |first6=Clinton F. |last6=Goss |first7=Michael |last7=Burke |title=Proceeding of the ACM-SIGPLAN symposium on Ada programming language - SIGPLAN '80 |chapter=The NYU Ada translator and interpreter |volume=15 |issue=11 |pages=194–201 |date=November 1980 |isbn=0-89791-030-3 |doi=10.1145/948632.948659|s2cid=10586359 }}</ref> यह बाद में 11 अप्रैल, 1983 को प्रमाणित पहला मान्य एडीए कार्यान्वयन बन गया।<ref>{{cite web |url=http://www.dtic.mil/docs/citations/ADA136759 |archive-url=https://web.archive.org/web/20170607044753/http://www.dtic.mil/docs/citations/ADA136759 |url-status=dead |archive-date=June 7, 2017 |title=Ada Compiler Validation Summary Report: NYU Ada/ED, Version 19.7 V-001 |author=SofTech Inc., Waltham, MA |date=1983-04-11 |access-date=2010-12-16}}</ref>

[[गुइडो वैन रोसुम]] के अनुसार, [[पायथन (प्रोग्रामिंग भाषा)|पायथन (प्रोग्रामिंग लैंग्वेज)]] प्रेडेसर, [[एबीसी (प्रोग्रामिंग भाषा)|एबीसी (प्रोग्रामिंग लैंग्वेज)]], सेट्ल से प्रेरित थी - अंतिम एबीसी डिजाइन के साथ आने से पहले [[लैम्बर्ट मेरटेंस]] ने एनवाईयू में सेट्ल समूह के साथ एक साल बिताया था! <ref>[http://mail.python.org/pipermail/python-dev/2000-August/008881.html Python-Dev: SETL (was: Lukewarm about range literals)]</ref>



==लैंग्वेज वैरिएंट==
ईएसटी लैंग्वेज 2 (सेट्ल2), सेट्ल का एक बैकवर्ड इनकम्पेटिबल डेस्केन्डन्ट, 1980 के दशक के अंत में न्यूयॉर्क विश्वविद्यालय में कूरेंट इंस्टीट्यूट ऑफ मैथमैटिकल साइंसेज के किर्क स्नाइडर द्वारा बनाया गया था। अपने प्रीडेसर की तरह, यह परिमित समुच्चयों के सिद्धांत और अंकन पर आधारित है, लेकिन यह वाक्य रचना और शैली में भी एडा लैंग्वेज से प्रभावित है।

इंटरैक्टिव ईएसटी लैंग्वेज (सेट्ल) असतत गणित में प्रयुक्त सेट्ल का एक प्रकार है।

[https://setl.org/setl/ जीएनयू सेट्ल] एक कमांड-लाइन उपयोगिता है जो सेट्ल का विस्तार और कार्यान्वयन करती है।

== संदर्भ ==
{{Reflist}}


== अग्रिम पठन ==
* Schwartz, Jacob T., "ईएसटी Theory as a Language for Program Specification and Programming". Courant Institute of Mathematical Sciencईएस, New York University, 1970.
* Schwartz, Jacob T., "On Programming, An Interim Report on the सेट्ल Project", Computer Science Department, Courant Institute of Mathematical Sciencईएस, New York University (1973).
* Schwartz, Jacob T., Dewar, R.B.K., Dubinsky, E., and Schonberg, E., ''Programming With ईएसटीs: An Introduction to सेट्ल'', 1986. {{ISBN|0-387-96399-5}}.


== बाहरी संबंध ==
* [https://setl.org/ Official Website]
* [http://www.settheory.com ''Programming in सेट्ल'' and other things]
* [http://www.softwarepreservation.org/projects/SETL सेट्ल Historical Sourcईएस Archive]

{{Authority control}}

[[Category:1969 परिचय]]
[[Category:CS1 maint]]
[[Category:CS1 русский-language sources (ru)]]
[[Category:Created On 09/08/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Official website missing URL]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Template documentation pages|Short description/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]