OCaml विकल्प मिल

Question

मैं OCaml के लिए नया हूँ, मैं समझने के लिए आपको एक 'एक विकल्प से लाभ प्राप्त करने की अपेक्षा की कोशिश कर रहा हूँ रहे हैं। http://ocaml-lib.sourceforge.net/doc/Option.html पर दस्तावेज़ के अनुसार, 'a option ->' प्रकार का एक कार्य मिलता है जो मैं चाहता हूं। लेकिन जब मैं टाइप करता हूं:

# let z = Some 3;; 
val z : int option = Some 3 
# get z;; 
Error: Unbound value get 
# Option.get z;; 
Error: Unbound module Option 

यह काम क्यों नहीं कर रहा है?

Answer 1

OCaml में निर्माता के किसी भी प्रकार के अंदर मूल्य प्राप्त करने के लिए परंपरागत तरीके पैटर्न मिलान के साथ है। पैटर्न मिलान OCaml कि क्या आप पहले से ही अन्य भाषाओं में देखा है से सबसे अलग हो सकता है का हिस्सा है, तो मैं सुझाव है कि आप सिर्फ कार्यक्रमों जिस तरह से आप (उदाहरण के साथ समस्या यह है circumventing के लिए ocaml-lib करने के लिए उपयोग किया जाता है नहीं लिखते) लेकिन इसके बजाय इसे आजमाएं और देखें कि आपको यह पसंद है या नहीं।

let contents = 
    match z with 
    Some c -> c;; 

चर contents3 असाइन किया गया है, लेकिन आपको यह चेतावनी मिलती:

चेतावनी 8: इस पैटर्न मिलान संपूर्ण नहीं है। यहाँ एक मूल्य है कि मिलान नहीं किया है, इसके उदाहरण है: कोई नहीं

सामान्य स्थिति में, आपको पता नहीं होगा कि अभिव्यक्ति आप अंदर देखने के लिए चाहते हैं जरूरी Some c है। विकल्प विकल्प का चयन करने का कारण आमतौर पर होता है कि कभी-कभी वह मान None हो सकता है। यहां संकलक आपको याद दिला रहा है कि आप संभावित मामलों में से एक को संभालने में कामयाब नहीं हैं।

आप पैटर्न मैचों के लिए "गहन" कर सकते हैं और संकलक अभी भी exhaustivity के लिए जाँच करेगा।

let f x = 
    match x with 
    Some (Some c) -> c 
    | None -> 0 
    ;; 

आप मामले Some (None) भूल गया और संकलक आप ऐसा कहता है यहाँ:

चेतावनी 8: इस पैटर्न मिलान संपूर्ण नहीं है इस समारोह है कि एक (int option) option लेता है पर विचार करें। यहां एक मान का है जो मेल नहीं खाता है: कुछ कोई नहीं

Answer 2

ऐसा करने का सामान्य तरीका पैटर्न मिलान के साथ है।

# let x = Some 4;; 
val x : int option = Some 4 

# match x with 
    | None -> Printf.printf "saw nothing at all\n" 
    | Some v -> Printf.printf "saw %d\n" v;; 
saw 4 
- : unit =() 

(हालांकि आप तय करने के लिए क्या आप जब मूल्य कोई नहीं है क्या करना चाहते हैं) आप अपनी खुद की get समारोह लिख सकते हैं।

Answer 3

आपको उपरोक्त पोस्टर सलाह को प्रकार की सुरक्षा के बारे में सुनना चाहिए, लेकिन यह भी पता होना चाहिए कि विकल्प.get (जो बैटरी बीटीडब्ल्यू में उपलब्ध है) असुरक्षित कार्य आमतौर पर एक्सएन के साथ पर्याप्त होता है। यदि आप उत्सुक हैं तो यह विकल्प है कि Option.get या Option.get_exn को कार्यान्वित किया जा सकता है:

let get_exn = function 
    | Some x -> x 
    | None -> raise (Invalid_argument "Option.get")