ओकैमल - Revision history

Neeraja at 10:25, 29 August 2023

2023-08-29T10:25:05Z

← Older revision		Revision as of 15:55, 29 August 2023
Line 29:		Line 29:
	\| wikibooks = Objective Caml		\| wikibooks = Objective Caml
	}}		}}
	ओकैमल/OCaml ({{IPAc-en\|oʊ\|ˈ\|k\|æ\|m\|əl}} {{respell\|oh\|KAM\|əl}}, पूर्व में ऑब्जेक्टिव [[कैमल]]) एक सामान्य-उद्देश्यीय प्रोग्रामिंग लैंग्वेज है\|सामान्य-उद्देश्य, उच्च-स्तरीय प्रोग्रामिंग लैंग्वेज\|उच्च-स्तरीय [[बहु-प्रतिमान प्रोग्रामिंग भाषा\|बहु-प्रतिमान प्रोग्रामिंग लैंग्वेज]] जो [[ ऑब्जेक्ट ओरिएंटेड प्रोग्रामिंग ]]\|ऑब्जेक्ट के साथ [[एमएल (प्रोग्रामिंग भाषा)\|एमएल (प्रोग्रामिंग लैंग्वेज)]] की कैमल बोली का विस्तार करती है। -उन्मुख विशेषताएं. ओकैमल को 1996 में [[जेवियर लेरॉय]], जेरोम वोइलन, [[डेमियन डोलिगेज़]], डिडिएर रेमी, एस्केंडर सुआरेज़ और अन्य द्वारा बनाया गया था।		'''ओकैमल'''/OCaml ({{IPAc-en\|oʊ\|ˈ\|k\|æ\|m\|əl}} {{respell\|oh\|KAM\|əl}}, पूर्व में ऑब्जेक्टिव [[कैमल]]) एक सामान्य-उद्देश्यीय प्रोग्रामिंग लैंग्वेज है\|सामान्य-उद्देश्य, उच्च-स्तरीय प्रोग्रामिंग लैंग्वेज\|उच्च-स्तरीय [[बहु-प्रतिमान प्रोग्रामिंग भाषा\|बहु-प्रतिमान प्रोग्रामिंग लैंग्वेज]] जो [[ ऑब्जेक्ट ओरिएंटेड प्रोग्रामिंग ]]\|ऑब्जेक्ट के साथ [[एमएल (प्रोग्रामिंग भाषा)\|एमएल (प्रोग्रामिंग लैंग्वेज)]] की कैमल बोली का विस्तार करती है। -उन्मुख विशेषताएं. ओकैमल को 1996 में [[जेवियर लेरॉय]], जेरोम वोइलन, [[डेमियन डोलिगेज़]], डिडिएर रेमी, एस्केंडर सुआरेज़ और अन्य द्वारा बनाया गया था।

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

Manidh at 11:56, 10 August 2023

2023-08-10T11:56:09Z

@@ Line 438: / Line 438: @@
 * [https://dev.realworldocaml.org/ Real World ओकैमल]
-[[Category: उदाहरण कोड वाले लेख]] [[Category: उदाहरण OCaml कोड वाले लेख]] [[Category: क्रॉस-प्लेटफ़ॉर्म मुफ़्त सॉफ़्टवेयर]] [[Category: एक्स्टेंसिबल सिंटैक्स प्रोग्रामिंग भाषाएँ]] [[Category: मुफ़्त संकलक और दुभाषिए]] [[Category: कार्यात्मक भाषाएँ]] [[Category: एमएल प्रोग्रामिंग भाषा परिवार]] [[Category: ऑब्जेक्ट-ओरिएंटेड प्रोग्रामिंग भाषाएँ]] [[Category: OCaml प्रोग्रामिंग भाषा परिवार]] [[Category: ओकैमल सॉफ्टवेयर]] [[Category: पैटर्न मिलान प्रोग्रामिंग भाषाएँ]] [[Category: प्रोग्रामिंग भाषाएँ 1996 में बनाई गईं]] [[Category: स्थिर रूप से टाइप की गई प्रोग्रामिंग भाषाएँ]]
+[[Category:CS1 English-language sources (en)]]
 [[Category:Created On 08/07/2023]]
-[[Category:Vigyan Ready]]
+[[Category:Lua-based templates]]

Indicwiki: 9 revisions imported from :alpha:ओकैमल

2023-08-08T01:28:44Z

9 revisions imported from alpha:ओकैमल

← Older revision	Revision as of 06:58, 8 August 2023
(No difference)

alpha>Neeraja: added Category:Vigyan Ready using HotCat

2023-08-07T05:51:44Z

added Category:Vigyan Ready using HotCat

← Older revision		Revision as of 11:21, 7 August 2023
Line 444:		Line 444:
	[[Category: Machine Translated Page]]		[[Category: Machine Translated Page]]
	[[Category:Created On 08/07/2023]]		[[Category:Created On 08/07/2023]]
			[[Category:Vigyan Ready]]

alpha>Ompathak at 12:23, 20 July 2023

2023-07-20T12:23:32Z

Show changes

alpha>Sugatha at 04:56, 19 July 2023

2023-07-19T04:56:26Z

← Older revision		Revision as of 10:26, 19 July 2023
Line 29:		Line 29:
	\| wikibooks = Objective Caml		\| wikibooks = Objective Caml
	}}		}}
	ओकैमल ({{IPAc-en\|oʊ\|ˈ\|k\|æ\|m\|əl}} {{respell\|oh\|KAM\|əl}}, पूर्व में ऑब्जेक्टिव [[कैमल]]) एक सामान्य-उद्देश्यीय प्रोग्रामिंग भाषा है\|सामान्य-उद्देश्य, उच्च-स्तरीय प्रोग्रामिंग भाषा\|उच्च-स्तरीय [[बहु-प्रतिमान प्रोग्रामिंग भाषा]] जो [[ ऑब्जेक्ट ओरिएंटेड प्रोग्रामिंग ]]\|ऑब्जेक्ट के साथ [[एमएल (प्रोग्रामिंग भाषा)]] की कैमल बोली का विस्तार करती है। -उन्मुख विशेषताएं. ओकैमल को 1996 में [[जेवियर लेरॉय]], जेरोम वोइलन, [[डेमियन डोलिगेज़]], डिडिएर रेमी, एस्केंडर सुआरेज़ और अन्य द्वारा बनाया गया था।		ओकैमल/OCaml ({{IPAc-en\|oʊ\|ˈ\|k\|æ\|m\|əl}} {{respell\|oh\|KAM\|əl}}, पूर्व में ऑब्जेक्टिव [[कैमल]]) एक सामान्य-उद्देश्यीय प्रोग्रामिंग भाषा है\|सामान्य-उद्देश्य, उच्च-स्तरीय प्रोग्रामिंग भाषा\|उच्च-स्तरीय [[बहु-प्रतिमान प्रोग्रामिंग भाषा]] जो [[ ऑब्जेक्ट ओरिएंटेड प्रोग्रामिंग ]]\|ऑब्जेक्ट के साथ [[एमएल (प्रोग्रामिंग भाषा)]] की कैमल बोली का विस्तार करती है। -उन्मुख विशेषताएं. ओकैमल को 1996 में [[जेवियर लेरॉय]], जेरोम वोइलन, [[डेमियन डोलिगेज़]], डिडिएर रेमी, एस्केंडर सुआरेज़ और अन्य द्वारा बनाया गया था।

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

alpha>Ompathak: /* विकास का माहौल */

2023-07-15T17:26:30Z

विकास का माहौल

alpha>Ompathak: /* कैमल लाइट */

2023-07-15T16:24:17Z

कैमल लाइट

← Older revision		Revision as of 21:54, 15 July 2023
Line 74:		Line 74:

	ओकैमल वितरण में सम्मिलित हैं:		ओकैमल वितरण में सम्मिलित हैं:
	* [[शाब्दिक विश्लेषण]] और [[ पदच्छेद ]] उपकरण जिन्हें ओकॉम्लेक्स (~~ocamllex~~) और ओकामलयक (~~ocamlyacc~~) कहा जाता है		* [[शाब्दिक विश्लेषण]] और [[ पदच्छेद ]] उपकरण जिन्हें ओकॉम्लेक्स (ओकॉम्लेक्स) और ओकामलयक (ओकामलयक) कहा जाता है
	* डिबगर जो त्रुटियों की जांच करने के लिए पीछे की ओर जाने का समर्थन करता है		* डिबगर जो त्रुटियों की जांच करने के लिए पीछे की ओर जाने का समर्थन करता है
	* [[दस्तावेज़ीकरण जनरेटर]]		* [[दस्तावेज़ीकरण जनरेटर]]
Line 82:		Line 82:
	नेटिव कोड कंपाइलर [[यूनिक्स]], [[ माइक्रोसॉफ़्ट विंडोज़ ]] और एप्पल इंक. मैकओएस सहित कई प्लेटफार्मों के लिए उपलब्ध है। प्रमुख आर्किटेक्चर के लिए मूल [[कोड जनरेशन (कंपाइलर)]] समर्थन के माध्यम से पोर्टेबिलिटी हासिल की जाती है:		नेटिव कोड कंपाइलर [[यूनिक्स]], [[ माइक्रोसॉफ़्ट विंडोज़ ]] और एप्पल इंक. मैकओएस सहित कई प्लेटफार्मों के लिए उपलब्ध है। प्रमुख आर्किटेक्चर के लिए मूल [[कोड जनरेशन (कंपाइलर)]] समर्थन के माध्यम से पोर्टेबिलिटी हासिल की जाती है:

	* [[X86-64]] (~~AMD64~~), [[RISC-V]], और [[ARM64]] (ओकैमल 5.0.0 और उच्चतर में)<ref>{{cite web\|url=https://github.com/ocaml/ocaml/tree/trunk/asmcomp\|title=ocaml/asmcomp at trunk · ocaml/ocaml · GitHub\|work=GitHub\|access-date=2 May 2015}}</ref>		* [[X86-64]] (एएमडी64), [[RISC-V\|आरआईएससी-वी]], और [[ARM64\|एआरएम64]] (ओकैमल 5.0.0 और उच्चतर में)<ref>{{cite web\|url=https://github.com/ocaml/ocaml/tree/trunk/asmcomp\|title=ocaml/asmcomp at trunk · ocaml/ocaml · GitHub\|work=GitHub\|access-date=2 May 2015}}</ref>
	* पावर ~~ISA~~, [[IBM Z]] (ओकैमल 5.0.0 से पहले, और भविष्य में 5.x रिलीज़ में पुनः प्रदर्शित होने के कारण)		* पावर आईएसए, [[IBM Z\|आईबीएम जेड]] (ओकैमल 5.0.0 से पहले, और भविष्य में 5.x रिलीज़ में पुनः प्रदर्शित होने के कारण)
	* [[IA-32]] और [[एआरएम वास्तुकला]] (ओकैमल 5.0.0 से पहले)		* [[IA-32\|आईए-32]] और [[एआरएम वास्तुकला]] (ओकैमल 5.0.0 से पहले)
	* [[SPARC\|स्पार्क]] (ओकैमल 4.06.0 से पहले)		* [[SPARC\|स्पार्क]] (ओकैमल 4.06.0 से पहले)
	* [[डीईसी अल्फा]], [[एचपीपीए]], आईए64 और [[एमआईपीएस वास्तुकला]] (ओकैमल 4.00.0 से पहले)		* [[डीईसी अल्फा]], [[एचपीपीए]], आईए64 और [[एमआईपीएस वास्तुकला]] (ओकैमल 4.00.0 से पहले)
Line 90:		Line 90:
	जब मूल कोड जनरेशन उपलब्ध नहीं होता है, तो बाइटकोड कंपाइलर किसी भी 32- या 64-बिट आर्किटेक्चर पर ऑपरेशन का समर्थन करता है, जिसके लिए केवल सी कंपाइलर की आवश्यकता होती है।		जब मूल कोड जनरेशन उपलब्ध नहीं होता है, तो बाइटकोड कंपाइलर किसी भी 32- या 64-बिट आर्किटेक्चर पर ऑपरेशन का समर्थन करता है, जिसके लिए केवल सी कंपाइलर की आवश्यकता होती है।

	ओकैमल बाइटकोड और नेटिव कोड प्रोग्राम को प्रीमेप्टिव संदर्भ स्विचिंग के साथ [[थ्रेड (कंप्यूटर विज्ञान)]] शैली में लिखा जा सकता है। एक ही डोमेन में ओकैमल थ्रेड्स<ref>A domain is a unit of parallelism in OCaml, a domain usually corresponds to a CPU core</ref> केवल टाइम शेयरिंग द्वारा निष्पादित करें। हालाँकि, एक ओकैमल प्रोग्राम में कई डोमेन हो सकते हैं। वितरित कंप्यूटिंग के लिए कई लाइब्रेरी हैं जैसे [http://functory.lri.fr/About.html फंक्टरी] और [http://projects.camlcity.org/projects/ocamlnet.html ~~ocamlnet~~/~~Plasma~~]।		ओकैमल बाइटकोड और नेटिव कोड प्रोग्राम को प्रीमेप्टिव संदर्भ स्विचिंग के साथ [[थ्रेड (कंप्यूटर विज्ञान)]] शैली में लिखा जा सकता है। एक ही डोमेन में ओकैमल थ्रेड्स<ref>A domain is a unit of parallelism in OCaml, a domain usually corresponds to a CPU core</ref> केवल टाइम शेयरिंग द्वारा निष्पादित करें। हालाँकि, एक ओकैमल प्रोग्राम में कई डोमेन हो सकते हैं। वितरित कंप्यूटिंग के लिए कई लाइब्रेरी हैं जैसे [http://functory.lri.fr/About.html फंक्टरी] और [http://projects.camlcity.org/projects/ocamlnet.html ओकैमलनेट/प्लाज्मा]।

	==विकास का माहौल==		==विकास का माहौल==
Line 108:		Line 108:
	** [https://github.com/ocsigen/js_of_ocaml js_of_ocaml], Ocsigen टीम द्वारा विकसित, ओकैमल से [[जावास्क्रिप्ट]] के लिए एक अनुकूलन कंपाइलर है।		** [https://github.com/ocsigen/js_of_ocaml js_of_ocaml], Ocsigen टीम द्वारा विकसित, ओकैमल से [[जावास्क्रिप्ट]] के लिए एक अनुकूलन कंपाइलर है।
	** [https://bucklescript.github.io/ BuckleScript], जो पठनीय, मुहावरेदार जावास्क्रिप्ट आउटपुट उत्पन्न करने पर ध्यान देने के साथ जावास्क्रिप्ट को भी लक्षित करता है।		** [https://bucklescript.github.io/ BuckleScript], जो पठनीय, मुहावरेदार जावास्क्रिप्ट आउटपुट उत्पन्न करने पर ध्यान देने के साथ जावास्क्रिप्ट को भी लक्षित करता है।
	** ~~ocamlcc~~ असमर्थित प्लेटफार्मों के लिए मूल कोड कंपाइलर को पूरक करने के लिए ओकैमल से C तक एक कंपाइलर है।		** ओकामलक्स असमर्थित प्लेटफार्मों के लिए मूल कोड कंपाइलर को पूरक करने के लिए ओकैमल से C तक एक कंपाइलर है।
	** ओकैमलजावा, आईएनआरआईए द्वारा विकसित, ओकैमल से [[जावा वर्चुअल मशीन]] (जेवीएम) का एक कंपाइलर है।		** ओकैमलजावा, आईएनआरआईए द्वारा विकसित, ओकैमल से [[जावा वर्चुअल मशीन]] (जेवीएम) का एक कंपाइलर है।
	** लिप6 द्वारा विकसित ~~OCaPic~~, [[पीआईसी माइक्रोकंट्रोलर]] के लिए एक ओकैमल कंपाइलर है।		** लिप6 द्वारा विकसित ओकोकपीस, [[पीआईसी माइक्रोकंट्रोलर]] के लिए एक ओकैमल कंपाइलर है।

	==कोड उदाहरण==		==कोड उदाहरण==
Line 148:		Line 148:
	$		$
	</syntaxhighlight>		</syntaxhighlight>
	~~ocamlc~~ का पहला तर्क, hello.ml, संकलित करने के लिए स्रोत फ़ाइल को निर्दिष्ट करता है और -o hello ध्वज आउटपुट फ़ाइल को निर्दिष्ट करता है।<ref>{{Cite web\|url=https://caml.inria.fr/pub/docs/manual-ocaml/comp.html\|title = OCaml - Batch compilation (Ocamlc)}}</ref>		ओकामलक का पहला तर्क, hello.ml, संकलित करने के लिए स्रोत फ़ाइल को निर्दिष्ट करता है और -o hello ध्वज आउटपुट फ़ाइल को निर्दिष्ट करता है।<ref>{{Cite web\|url=https://caml.inria.fr/pub/docs/manual-ocaml/comp.html\|title = OCaml - Batch compilation (Ocamlc)}}</ref>
	=== विकल्प ===		=== विकल्प ===
	ओकैमल में विकल्प प्रकार का कंस्ट्रक्टर, हास्केल में शायद प्रकार के समान, किसी दिए गए डेटा प्रकार को या तो दिए गए डेटा प्रकार के कुछ मान को वापस करने के लिए, या कुछ भी नहीं लौटाने के लिए बढ़ाता है।<ref>{{Cite web \|title=3.7. Options — OCaml Programming: Correct + Efficient + Beautiful \|url=https://cs3110.github.io/textbook/chapters/data/options.html \|access-date=2022-10-07 \|website=cs3110.github.io}}</ref> इसका उपयोग यह व्यक्त करने के लिए किया जाता है कि कोई मान मौजूद हो भी सकता है और नहीं भी।<syntaxhighlight lang="ocaml">		ओकैमल में विकल्प प्रकार का कंस्ट्रक्टर, हास्केल में शायद प्रकार के समान, किसी दिए गए डेटा प्रकार को या तो दिए गए डेटा प्रकार के कुछ मान को वापस करने के लिए, या कुछ भी नहीं लौटाने के लिए बढ़ाता है।<ref>{{Cite web \|title=3.7. Options — OCaml Programming: Correct + Efficient + Beautiful \|url=https://cs3110.github.io/textbook/chapters/data/options.html \|access-date=2022-10-07 \|website=cs3110.github.io}}</ref> इसका उपयोग यह व्यक्त करने के लिए किया जाता है कि कोई मान मौजूद हो भी सकता है और नहीं भी।<syntaxhighlight lang="ocaml">

alpha>Ompathak: /* उद्देश्य कैमल */

2023-07-15T16:01:35Z

उद्देश्य कैमल

alpha>Ompathak: /* पहला कार्यान्वयन */

2023-07-15T06:35:38Z

पहला कार्यान्वयन

Show changes

← Older revision		Revision as of 21:31, 15 July 2023
Line 61:		Line 61:
	1995 में, जेवियर लेरॉय ने कैमल स्पेशल लाइट जारी की, जो कैमल का एक उन्नत संस्करण था।<ref name=":2" />बाइटकोड कंपाइलर में एक ऑप्टिमाइज़िंग नेटिव कोड \| नेटिव-कोड कंपाइलर जोड़ा गया, जिसने [[C++]] जैसी मुख्यधारा की भाषाओं के साथ तुलनीय स्तर तक प्रदर्शन को काफी बढ़ा दिया।<ref name=":1" /><ref name=":2" />इसके अतिरिक्त, लेरॉय ने स्टैंडर्ड एमएल के मॉड्यूल सिस्टम से प्रेरित एक उच्च स्तरीय मॉड्यूल सिस्टम डिजाइन किया, जो अमूर्तता और पैरामीटराइजेशन के लिए शक्तिशाली सुविधाएं प्रदान करता है और बड़े पैमाने के कार्यक्रमों के निर्माण को आसान बनाता है।<ref name=":1" />		1995 में, जेवियर लेरॉय ने कैमल स्पेशल लाइट जारी की, जो कैमल का एक उन्नत संस्करण था।<ref name=":2" />बाइटकोड कंपाइलर में एक ऑप्टिमाइज़िंग नेटिव कोड \| नेटिव-कोड कंपाइलर जोड़ा गया, जिसने [[C++]] जैसी मुख्यधारा की भाषाओं के साथ तुलनीय स्तर तक प्रदर्शन को काफी बढ़ा दिया।<ref name=":1" /><ref name=":2" />इसके अतिरिक्त, लेरॉय ने स्टैंडर्ड एमएल के मॉड्यूल सिस्टम से प्रेरित एक उच्च स्तरीय मॉड्यूल सिस्टम डिजाइन किया, जो अमूर्तता और पैरामीटराइजेशन के लिए शक्तिशाली सुविधाएं प्रदान करता है और बड़े पैमाने के कार्यक्रमों के निर्माण को आसान बनाता है।<ref name=":1" />
	=== उद्देश्य कैमल ===		=== उद्देश्य कैमल ===
	डिडिएर रेमी और जेरोम वोइलन ने वस्तुओं और वर्गों के लिए एक अभिव्यंजक प्रकार की प्रणाली डिजाइन की, जिसे कैमल स्पेशल लाइट के भीतर एकीकृत किया गया था। इससे ऑब्जेक्टिव कैमल भाषा का उदय हुआ, जिसे पहली बार 1996 में जारी किया गया और बाद में 2011 में इसका नाम बदलकर ओकैमल कर दिया गया। इस ऑब्जेक्ट सिस्टम ने कई प्रचलित ऑब्जेक्ट-ओरिएंटेड मुहावरों को सांख्यिकीय रूप से सुरक्षित तरीके से समर्थन दिया, जबकि उन्हीं मुहावरों ने अस्वस्थता या आवश्यकता ~~पैदा~~ की। C++ या जावा (प्रोग्रामिंग भाषा) जैसी भाषाओं में रनटाइम जाँच। 2000 में, जैक्स गैरिग्यू ने ऑब्जेक्टिव कैमल को कई नई सुविधाओं जैसे बहुरूपी तरीकों, वेरिएंट और लेबल और वैकल्पिक तर्कों के साथ विस्तारित किया।<ref name=":1" /><ref name=":2" />		डिडिएर रेमी और जेरोम वोइलन ने वस्तुओं और वर्गों के लिए एक अभिव्यंजक प्रकार की प्रणाली डिजाइन की, जिसे कैमल स्पेशल लाइट के भीतर एकीकृत किया गया था। इससे ऑब्जेक्टिव कैमल भाषा का उदय हुआ, जिसे पहली बार 1996 में जारी किया गया और बाद में 2011 में इसका नाम बदलकर ओकैमल कर दिया गया। इस ऑब्जेक्ट सिस्टम ने कई प्रचलित ऑब्जेक्ट-ओरिएंटेड मुहावरों को सांख्यिकीय रूप से सुरक्षित तरीके से समर्थन दिया, जबकि उन्हीं मुहावरों ने अस्वस्थता या आवश्यकता उन्नत की। C++ या जावा (प्रोग्रामिंग भाषा) जैसी भाषाओं में रनटाइम जाँच। 2000 में, जैक्स गैरिग्यू ने ऑब्जेक्टिव कैमल को कई नई सुविधाओं जैसे बहुरूपी तरीकों, वेरिएंट और लेबल और वैकल्पिक तर्कों के साथ विस्तारित किया।<ref name=":1" /><ref name=":2" />
	=== सतत विकास ===		=== सतत विकास ===
	ओकैमल में बढ़ते व्यावसायिक और शैक्षणिक कोडबेस का समर्थन करने के लिए पिछले दो दशकों में भाषा सुधारों को क्रमिक रूप से जोड़ा गया है।<ref name=":1" />2012 में ओकैमल 4.0 रिलीज़ में भाषा के लचीलेपन को बढ़ाने के लिए सामान्यीकृत बीजगणितीय डेटा प्रकार (जीएडीटी) और प्रथम श्रेणी के मॉड्यूल जोड़े गए।<ref name=":1" />ओकैमल 5.0.0 2022 में रिलीज़ होगा<ref>{{Cite web \|title=Release of OCaml 5.0.0 OCaml Package \|url=https://ocaml.org/news/ocaml-5.0 \|access-date=2022-12-16 \|website=OCaml \|language=en}}</ref> भाषा रनटाइम का पूर्ण पुनर्लेखन है, [[वैश्विक दुभाषिया लॉक]] को हटाना और [[सीमांकित निरंतरता]] के माध्यम से प्रभाव प्रणाली को जोड़ना। ये परिवर्तन क्रमशः समानांतर_प्रोग्रामिंग_मॉडल#साझा_मेमोरी\|साझा-मेमोरी समानता और [[रंग-अंधा समवर्ती]] के लिए समर्थन सक्षम करते हैं।		ओकैमल में बढ़ते व्यावसायिक और शैक्षणिक कोडबेस का समर्थन करने के लिए पिछले दो दशकों में भाषा सुधारों को क्रमिक रूप से जोड़ा गया है।<ref name=":1" />2012 में ओकैमल 4.0 रिलीज़ में भाषा के लचीलेपन को बढ़ाने के लिए सामान्यीकृत बीजगणितीय डेटा प्रकार (जीएडीटी) और प्रथम श्रेणी के मॉड्यूल जोड़े गए।<ref name=":1" />ओकैमल 5.0.0 2022 में रिलीज़ होगा<ref>{{Cite web \|title=Release of OCaml 5.0.0 OCaml Package \|url=https://ocaml.org/news/ocaml-5.0 \|access-date=2022-12-16 \|website=OCaml \|language=en}}</ref> भाषा रनटाइम का पूर्ण पुनर्लेखन है, [[वैश्विक दुभाषिया लॉक]] को हटाना और [[सीमांकित निरंतरता]] के माध्यम से प्रभाव प्रणाली को जोड़ना। ये परिवर्तन क्रमशः समानांतर_प्रोग्रामिंग_मॉडल#साझा_मेमोरी\|साझा-मेमोरी समानता और [[रंग-अंधा समवर्ती]] के लिए समर्थन सक्षम करते हैं।
Line 400:		Line 400:
	==ओकैमल में लिखा गया सॉफ्टवेयर==		==ओकैमल में लिखा गया सॉफ्टवेयर==
	* [[शून्य स्थापना]], एक मल्टी-प्लेटफॉर्म पैकेज मैनेजर।		* [[शून्य स्थापना]], एक मल्टी-प्लेटफॉर्म पैकेज मैनेजर।
	* ~~CamlPDF~~, पीडीएफ फाइलों को पढ़ने, लिखने और संशोधित करने के लिए एक ओकैमल लाइब्रेरी<ref>{{cite web\|url=https://github.com/johnwhitington/camlpdf\|title=GitHub - johnwhitington/camlpdf\|website=[[GitHub]] \|date=14 December 2022 }}</ref>		* कैमलपीडीएफ, पीडीएफ फाइलों को पढ़ने, लिखने और संशोधित करने के लिए एक ओकैमल लाइब्रेरी<ref>{{cite web\|url=https://github.com/johnwhitington/camlpdf\|title=GitHub - johnwhitington/camlpdf\|website=[[GitHub]] \|date=14 December 2022 }}</ref>
	* कोकिनेले (सॉफ्टवेयर), सी (प्रोग्रामिंग भाषा) प्रोग्राम के स्रोत कोड को बदलने के लिए एक उपयोगिता।		* कोकिनेले (सॉफ्टवेयर), सी (प्रोग्रामिंग भाषा) प्रोग्राम के स्रोत कोड को बदलने के लिए एक उपयोगिता।
	* [[कॉक]], एक [[औपचारिक प्रमाण]] प्रबंधन प्रणाली।		* [[कॉक]], एक [[औपचारिक प्रमाण]] प्रबंधन प्रणाली।
	* [[एफएफटीडब्ल्यू]], असतत फूरियर परिवर्तनों की गणना के लिए एक पुस्तकालय (कंप्यूटिंग)। नाम के ओकैमल प्रोग्राम द्वारा कई C रूटीन तैयार किए गए हैं {{OCaml\|genfft}}.		* [[एफएफटीडब्ल्यू]], असतत फूरियर परिवर्तनों की गणना के लिए एक पुस्तकालय (कंप्यूटिंग)। नाम के ओकैमल प्रोग्राम द्वारा कई C रूटीन तैयार किए गए हैं {{OCaml\|genfft}}.
	* [[ फेसबुक संदेशवाहक ]] का वेब संस्करण।<ref>{{cite web\|title=Messenger.com Now 50% Converted to Reason · Reason\|url=https://reasonml.github.io/blog/2017/09/08/messenger-50-reason.html\|website=reasonml.github.io\|access-date=2018-02-27}}</ref>		* [[ फेसबुक संदेशवाहक \| फेसबुक मैसेंजर]] का वेब संस्करण।<ref>{{cite web\|title=Messenger.com Now 50% Converted to Reason · Reason\|url=https://reasonml.github.io/blog/2017/09/08/messenger-50-reason.html\|website=reasonml.github.io\|access-date=2018-02-27}}</ref>
	* फ्लो, फेसबुक पर बनाया गया एक स्थिर प्रोग्राम विश्लेषण जो टाइप सिस्टम#जावास्क्रिप्ट के लिए स्टेटिक प्रकार की जांच का अनुमान लगाता है और जांचता है।<ref>{{cite web\|url=https://flow.org/en/\|title=Flow: A Static Type Checker for JavaScript\|website=Flow}}</ref>		* फ्लो, फेसबुक पर बनाया गया एक स्थिर प्रोग्राम विश्लेषण जो टाइप सिस्टम जावास्क्रिप्ट के लिए स्टेटिक प्रकार की जांच का अनुमान लगाता है और जांचता है।<ref>{{cite web\|url=https://flow.org/en/\|title=Flow: A Static Type Checker for JavaScript\|website=Flow}}</ref>
	* [[उल्लू वैज्ञानिक कंप्यूटिंग]], वैज्ञानिक और इंजीनियरिंग कंप्यूटिंग के लिए एक समर्पित प्रणाली।		* [[उल्लू वैज्ञानिक कंप्यूटिंग\|आउल वैज्ञानिक कंप्यूटिंग]], वैज्ञानिक और इंजीनियरिंग कंप्यूटिंग के लिए एक समर्पित प्रणाली।
	* [[सामने-सी]], सी कार्यक्रमों के विश्लेषण के लिए एक रूपरेखा।		* [[सामने-सी\|फ्रामा- C]], C कार्यक्रमों के विश्लेषण के लिए एक रूपरेखा।
	* [[जीनवेब]], मुफ़्त और ओपन-सोर्स मल्टी-प्लेटफ़ॉर्म वंशावली सॉफ़्टवेयर।		* [[जीनवेब]], मुफ़्त और ओपन-सोर्स मल्टी-प्लेटफ़ॉर्म वंशावली सॉफ़्टवेयर।
	* फेसबुक पर बनाया गया [[ हैक (प्रोग्रामिंग भाषा) ]] प्रोग्रामिंग लैंग्वेज कंपाइलर, स्थिर प्रकारों के साथ [[PHP]] का विस्तार करता है।		* फेसबुक पर बनाया गया [[ हैक (प्रोग्रामिंग भाषा) ]] प्रोग्रामिंग लैंग्वेज कंपाइलर, स्थिर प्रकारों के साथ [[PHP\|पीएचपी]] का विस्तार करता है।
	* [[ मिला हुआ ]] प्रोग्रामिंग भाषा कंपाइलर।		* [[ मिला हुआ \| हेक्से]] प्रोग्रामिंग भाषा कंपाइलर।
	* [[एचओएल लाइट]], एक औपचारिक प्रमाण सहायक।		* [[एचओएल लाइट]], एक औपचारिक प्रमाण सहायक।
	* इनफ़र, जावा (प्रोग्रामिंग भाषा), सी, सी++ और [[ उद्देश्य सी ]] के लिए फेसबुक पर बनाया गया एक स्थिर विश्लेषक है, जिसका उपयोग [[आईओएस]] और [[एंड्रॉइड (ऑपरेटिंग सिस्टम)]] ऐप्स में बग का पता लगाने के लिए किया जाता है।<ref>{{cite web\|url=https://fbinfer.com/\|title=स्थैतिक विश्लेषक का अनुमान लगाएं\|website=Infer}}</ref>		* इनफ़र, जावा (प्रोग्रामिंग भाषा), सी, सी++ और [[ उद्देश्य सी ]] के लिए फेसबुक पर बनाया गया एक स्थिर विश्लेषक है, जिसका उपयोग [[आईओएस]] और [[एंड्रॉइड (ऑपरेटिंग सिस्टम)]] ऐप्स में बग का पता लगाने के लिए किया जाता है।<ref>{{cite web\|url=https://fbinfer.com/\|title=स्थैतिक विश्लेषक का अनुमान लगाएं\|website=Infer}}</ref>
	* [https://www.lexifi.com/apropos/ ~~Lexifi Apropos~~], जटिल डेरिवेटिव मॉडलिंग के लिए एक प्रणाली।		* [https://www.lexifi.com/apropos/ लेक्सिफ़ी एप्रोपोस], जटिल डेरिवेटिव मॉडलिंग के लिए एक प्रणाली।
	* मिराजओएस, शुद्ध ओकैमल में लिखा गया एक [[unikernel]] प्रोग्रामिंग फ्रेमवर्क।		* मिराजओएस, शुद्ध ओकैमल में लिखा गया एक [[unikernel\|यूनिकर्नेल]] प्रोग्रामिंग फ्रेमवर्क।
	* [[MLdonkey]], ~~EDonkey~~ नेटवर्क पर आधारित एक [[पीयर-टू-पीयर फ़ाइल साझाकरण]] एप्लिकेशन।		* [[MLdonkey\|एमएलडोंकी]], इडोंकी नेटवर्क पर आधारित एक [[पीयर-टू-पीयर फ़ाइल साझाकरण]] एप्लिकेशन।
	* Ocsigen, एक ओकैमल [[ वेब ढाँचा ]]।		* Ocsigen, एक ओकैमल [[ वेब ढाँचा ]]।
	* [[ओपा (प्रोग्रामिंग भाषा)]], वेब विकास के लिए एक स्वतंत्र और ओपन-सोर्स प्रोग्रामिंग भाषा।		* [[ओपा (प्रोग्रामिंग भाषा)]], वेब विकास के लिए एक स्वतंत्र और ओपन-सोर्स प्रोग्रामिंग भाषा।