OCaml का परिचय: अशक्त संकेत, कथन और चेतावनी [4]

[लगभग। ट्रांस .: पिछले भागों [ 1 ; 2 ; 3 ]
पिछले भागों को अमाराओ द्वारा अनुवादित किया गया था , इस भाग में अशक्त बिंदुओं के बारे में पैराग्राफ भी उनके द्वारा अनुवादित किया गया था]

अशक्त संकेत

मान लीजिए आपने एक साइट पर एक सर्वेक्षण बनाया है जो पाठकों से उनके नाम और उम्र के बारे में पूछता है। एकमात्र समस्या यह है कि किसी कारण से आपके कुछ पाठक अपनी उम्र नहीं बताना चाहते हैं - वे उचित क्षेत्र को भरने से इनकार करते हैं। एक बुरा डेटाबेस व्यवस्थापक इस मामले में क्या करता है?

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

एक और, सही तरीका है कि उम्र को एक ऐसे क्षेत्र में संग्रहीत किया जाए जिसमें "पूर्णांक या अशक्त" मूल्य हो। यहाँ उम्र जमा करने के लिए SQL तालिका है:

 तालिका उपयोगकर्ता बनाएँ
 (
   उपयोगकर्ता सीरियल,
   नाम पाठ अशक्त नहीं,
   आयु int - अशक्त हो सकता है
 );

यदि आयु डेटा प्राप्त नहीं होता है, तो एक विशेष SQL NULL मान डेटाबेस में दर्ज किया जाता है। यदि आप इसे औसत की गणना करने के लिए कहेंगे तो SQL स्वचालित रूप से इस मान को अनदेखा कर देगा।
कई प्रोग्रामिंग भाषाओं में अशक्त की अवधारणा भी है, हालांकि उपयोग में आसानी भिन्न हो सकती है। पर्ल में, कोई भी स्केलर अभिव्यक्ति (संख्या या स्ट्रिंग) undef हो सकती है ("शून्य" कहने के लिए पर्ल विधि)। यह बहुत सारी चेतावनियों का कारण बनता है, जिन्हें अक्सर नौसिखिए प्रोग्रामर द्वारा अनदेखा किया जाता है, इस तथ्य के बावजूद कि ऐसी चेतावनियाँ अक्सर गंभीर त्रुटियों का संकेत देती हैं। जावा में, किसी वस्तु का कोई भी संदर्भ भी null हो सकता है, इसलिए उम्र को स्टोर करने के लिए Integer का उपयोग करना और उम्र के संदर्भ में null का उपयोग करना काफी उचित है। सी में, एक सूचक, ज़ाहिर है, अशक्त हो सकता है, लेकिन यदि आप एक प्रमुख पूर्णांक को अशक्त करना चाहते हैं, तो आपको सबसे पहले इसे मॉलोक द्वारा ढेर पर बनाई गई वस्तु में डालना होगा।

OCaml इस प्रकार के रूप में परिभाषित एक सरल बहुरूपी प्रकार का उपयोग करके अशक्त समस्या के लिए एक सुंदर समाधान का उपयोग करता है:

 प्रकार 'एक विकल्प = कोई नहीं |  कुछ 'ए

एक "अशक्त सूचक" किसी के रूप में None लिखा जाता है। ऊपर दिए गए उदाहरण से उम्र (एक पूर्णांक जो शून्य हो सकती है) टाइप int option [याद रखें, यह विपरीत दिशा में पढ़ता है, जैसे int list और binary_tree ]।

 # कुछ ;;
 - - int विकल्प = कुछ 3

वैकल्पिक पूर्णांकों की सूची के बारे में क्या?

 # # कोई नहीं;  कुछ 3;  कुछ 6;  कोई नहीं];
 - - int विकल्प सूची = [कोई नहीं;  कुछ 3;  कुछ 6;  कोई भी]

और वैकल्पिक पूर्णांक सूची के बारे में क्या?

 # कुछ 1;  2;  3] ;;
 -: int सूची विकल्प = कुछ [1;  2;  3]

स्टेटमेंट, चेतावनियाँ, घातक त्रुटियां और स्टेडर को आउटपुट

पर्ल की सबसे बड़ी विशेषताओं में से एक है डिबगिंग कार्यक्रमों और अप्रत्याशित त्रुटियों से निपटने के लिए कमांडों का समृद्ध सेट, जिसमें स्टैक को फेंकने, फेंकने और पकड़ने के अपवाद आदि की क्षमता शामिल है। OCaml के पास डिबगिंग कमांड का इतना समृद्ध सेट नहीं है - जावा से बेहतर, C के समान ही, पर्ल के समान अच्छा नहीं है। (हम बाद में और अधिक विस्तार से अपवादों के बारे में बात करेंगे।)

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

 # मुखर (Sys.os_type = "Win32") ;;
 अपवाद: Assert_failure ("", 0, 30)।

(Win32 पर स्वाभाविक रूप से चलने से त्रुटि उत्पन्न नहीं होती है)

आप बस अपने प्रोग्राम को रोकने के लिए assert false कह सकते हैं, अगर चीजें गलत हो रही हैं, लेकिन आप शायद बेहतर उपयोग कर रहे हैं ...

failwith "error message" एक Failure अपवाद को फेंक देगा जो फिर से नहीं पकड़ा गया तो भेजे गए त्रुटि संदेश के आउटपुट के साथ कार्यक्रम को रोक देगा। failwith अक्सर पैटर्न मिलान के साथ संयोजन में उपयोग की failwith , इस उदाहरण में:

   मैच Sys.os_type के साथ
     "यूनिक्स" |  "साइगविन" -> (* कोड छोड़ा गया *)
   |  "Win32" -> (* कोड छोड़ा गया *)
   |  "MacOS" -> (* कोड छोड़ा गया *)
   |  _ -> विफल "यह प्रणाली समर्थित नहीं है"

हम एक ही उदाहरण में नमूने के साथ तुलना की कुछ अतिरिक्त संभावनाओं पर ध्यान देते हैं। तथाकथित "रेंज नमूना" [लगभग। अनुवाद: यहाँ मैंने अनुवाद के साथ समस्याओं का अनुभव किया है, मूल "रेंज पैटर्न", अगर कोई और अधिक सही अनुवाद जानता है, तो सदस्यता समाप्त (एचपी में अधिमानतः) "यूनिक्स" या "साइग्विन", और एक विशेष नमूना _ की तुलना करने के लिए प्रयोग किया जाता है जो "कुछ और" से मेल खाती है।

यदि आप अपने प्रोग्राम को डिबग करना चाहते हैं, लेकिन आप, मेरी तरह, जीडीबी को छोड़कर सभी डिबगर्स से घृणा करते हैं, तो आप शायद किसी फ़ंक्शन के माध्यम से एक चेतावनी प्रदर्शित करना चाहते हैं। उदाहरण के लिए (हाइलाइट की गई लाइनों पर ध्यान दें):
open Graphics;;

open_graph " 640x480";;
for i = 12 downto 1 do
let radius = i * 20 in
prerr_endline ("radius is " ^ (string_of_int radius));
set_color (if (i mod 2) = 0 then red else yellow);
fill_circle 320 240 radius
done;;
read_line ();;

यदि आप C से प्रिंटफ़ पसंद करते हैं, तो प्रिंटफ़ मॉड्यूल का उपयोग करें:
open Graphics;;
open Printf;;

open_graph " 640x480";;
for i = 12 downto 1 do
let radius = i * 20 in
eprintf "radius is %d\n" radius;
set_color (if (i mod 2) = 0 then red else yellow);
fill_circle 320 240 radius
done;;
read_line ();;


[लगभग। प्रति। मूल के लिंक के बारे में: मुझे पता है कि मूल ocaml-tutorial.org पर है, लेकिन यह मेरे लिए सीधे या सीधे नहीं खुलता है; Google कैश के माध्यम से; आर्काइव डॉट ओआरजी के माध्यम से; तोर के माध्यम से] इसलिए मैंने दर्पण से लिंक को इंगित किया]