OCaml एक सामान्य उद्देश्य वाली प्रोग्रामिंग भाषा है जो ML (मेटा लैंग्वेज) परिवार का हिस्सा है। यह कार्यात्मक प्रोग्रामिंग पर जोर देती है जबकि यह अनिवार्य और वस्तु-उन्मुख पैराजाइम का भी समर्थन करती है। OCaml की एक प्रमुख विशेषता इसका प्रकार प्रणाली है, जो स्थिर है और कई त्रुटियों को संकलन समय पर पकड़ सकती है, जिससे यह अकादमी और उद्योग में कुछ प्रकार के अनुप्रयोगों के लिए पसंदीदा बन गई है। OCaml शक्तिशाली विशेषताएँ भी प्रदान करता है जैसे पहले श्रेणी के फ़ंक्शन, पैटर्न मिलान, और डेटा संरचनाओं का समृद्ध सेट।
OCaml का उद्भव Caml प्रोग्रामिंग भाषा से हुआ, जिसे 1980 के दशक के अंत में फ्रांसीसी कंप्यूटर विज्ञान और स्वचालन अनुसंधान संस्थान (INRIA) में विकसित किया गया था। Caml भाषा विभिन्न संस्करणों के माध्यम से विकसित हुई, जिसमें "Caml Light" एक उल्लेखनीय रूपांतर था जिसने सुविधाओं को सरल बनाया। OCaml में "O" का अर्थ "उद्देश्य" है, जो भाषा में वस्तु-उन्मुख प्रोग्रामिंग सुविधाओं के जोड़ को चिह्नित करता है, जो 1990 के दशक के अंत के आसपास हुआ।
OCaml कार्यात्मक प्रोग्रामिंग भाषाओं जैसे Haskell और ML से भारी प्रेरित है। हालाँकि, इसमें C और Python जैसी भाषाओं के समान अनिवार्य विशेषताएँ भी शामिल हैं। OCaml की प्रकार प्रणाली ने कई आधुनिक प्रोग्रामिंग भाषाओं को प्रभावित किया है, जबकि भाषा का अम्यूटेबिलिटी और कार्यात्मक प्रोग्रामिंग पर जोर Haskell के साथ निकट संबंध रखता है।
आज, OCaml का एक जीवंत समुदाय है और इसका उपयोग अकादमी में व्यापक रूप से किया जाता है, विशेष रूप से प्रोग्रामिंग अवधारणाओं और तकनीकों को सिखाने के लिए। उद्योग में, इसका उपयोग वित्त, वेब विकास, और सिस्टम प्रोग्रामिंग जैसे क्षेत्रों में किया जाता है। OPAM पैकेज प्रबंधक जैसे उपकरणों ने पारिस्थितिकी तंत्र को और बढ़ाया है, लाइब्रेरी और निर्भरताओं के प्रबंधन को सुविधाजनक बनाया है।
OCaml की प्रकार अनुमान प्रणाली संकलक को अधिकांश अभिव्यक्तियों के प्रकारों का स्वचालित रूप से अनुमान लगाने की अनुमति देती है। उदाहरण के लिए:
let add x y = x + y
इस मामले में, OCaml अनुमान लगाता है कि x और y पूर्णांक हैं।
पैटर्न मिलान डेटा प्रकारों को विघटित करने का एक संक्षिप्त तरीका प्रदान करता है:
match some_list with
| [] -> "खाली सूची"
| head :: tail -> "पह元素: " ^ string_of_int head
डिफ़ॉल्ट रूप से, OCaml में डेटा संरचनाएँ अम्यूटेबल होती हैं। एक परिवर्तनीय संरचना बनाने के लिए, किसी को स्पष्ट रूप से mutable कीवर्ड का उपयोग करना चाहिए:
type point = { mutable x: int; mutable y: int }
OCaml में फ़ंक्शन पहले श्रेणी के नागरिक होते हैं, जिसका अर्थ है कि उन्हें किसी अन्य मान की तरह पास किया जा सकता है:
let apply f x = f x
let square x = x * x
let result = apply square 5 (* परिणाम 25 है *)
OCaml में एक शक्तिशाली मॉड्यूल प्रणाली है जो कोड संगठन की अनुमति देती है। फ़ंक्टर्स, जो अन्य मॉड्यूल को तर्क के रूप में लेते हैं, कोड पुन: उपयोग को सक्षम बनाते हैं:
module MakeSet (Ord: OrderedType) = struct
(* सेट कार्यान्वयन यहाँ *)
end
OCaml वस्तु-उन्मुख प्रोग्रामिंग क्षमताएँ प्रदान करता है, जो कक्षाओं और विरासत की अनुमति देता है:
class point x y =
object
val mutable x = x
val mutable y = y
method get_x = x
method get_y = y
end
OCaml अपवाद प्रबंधन का समर्थन करता है, जिससे डेवलपर्स त्रुटियों को सुचारू रूप से प्रबंधित कर सकते हैं:
exception Division_by_zero
let safe_divide x y =
if y = 0 then raise Division_by_zero else x / y
OCaml प्रकारों को परिभाषित करने की अनुमति देता है जो विभिन्न रूप ले सकते हैं:
type shape = Circle of float | Rectangle of float * float
let area = function
| Circle r -> 3.14 *. r *. r
| Rectangle (w, h) -> w *. h
OCaml लेज़ी मूल्यांकन का समर्थन करता है, जिससे मान केवल आवश्यकता पड़ने पर ही गणना किए जाते हैं:
let lazy_value = lazy (compute_some_expensive_function ())
let result = Lazy.force lazy_value
OCaml में अंतर्निहित डेटा संरचनाएँ जैसे सूचियाँ, ऐरे, और सेट शामिल हैं, साथ ही साथ हेरफेर के लिए संबंधित फ़ंक्शन भी हैं:
let my_list = [1; 2; 3; 4]
let double_list = List.map (fun x -> x * 2) my_list
OCaml का प्रमुख कार्यान्वयन एक नैटिव-कोड संकलक शामिल करता है जो कुशल मशीन कोड उत्पन्न करता है। बाइटकोड संकलक OCaml कार्यक्रमों को उन प्लेटफार्मों पर चलाने के लिए उपयोगी है जहाँ निष्पादन गति कम महत्वपूर्ण है। OCaml रनटाइम प्रणाली गारबेज संग्रह का प्रबंधन करती है और कोड निष्पादन के लिए एक वातावरण प्रदान करती है।
डेवलपर्स अक्सर OCaml विकास के लिए Visual Studio Code, Emacs, और Vim जैसे संपादकों का उपयोग करते हैं। Dune और Merlin जैसे उपकरण विकास अनुभव को बढ़ाते हैं, जैसे ऑटो-कंप्लीशन, प्रकार अनुमान, और निर्माण स्वचालन जैसी सुविधाएँ प्रदान करते हैं।
OCaml परियोजना बनाने के लिए, कोई आमतौर पर रूट निर्देशिका में एक dune फ़ाइल कॉन्फ़िगर करता है और Dune कमांड का उपयोग करता है:
dune build
Dune निर्भरता प्रबंधन को संभालता है और स्रोत कोड को एक संरचित तरीके से संकलित करता है।
OCaml का उपयोग विभिन्न क्षेत्रों में किया जाता है, जिसमें शामिल हैं:
OCaml की तुलना की जा सकती है:
OCaml को उन भाषाओं में अनुवादित किया जा सकता है जो कार्यात्मक पैराजाइम का समर्थन करती हैं जैसे Haskell या Scala। सिंटैक्स विशेषताएँ और कार्यात्मक निर्माण अक्सर इन भाषाओं में समान समकक्ष होते हैं।
OCaml के लिए विशेष रूप से डिज़ाइन किए गए मौजूदा स्रोत से स्रोत अनुवाद उपकरणों में "OCaml to JS" (js_of_ocaml) शामिल है, जो OCaml कोड को JavaScript में परिवर्तित करने की अनुमति देता है, जिससे वेब वातावरण में तैनाती संभव होती है।