Opzione OCaml get

Question

Sono nuovo di OCaml, sto cercando di capire come si suppone di ottenere il valore da un'opzione. Secondo il documento allo http://ocaml-lib.sourceforge.net/doc/Option.html, esiste una funzione get di tipo 'un'opzione ->' a che fa ciò che voglio. ma quando digito:

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

Perché non funziona?

Answer 1

Il metodo tradizionale per ottenere il valore all'interno di qualsiasi tipo di costruttore in OCaml è l'abbinamento di motivi. L'abbinamento di pattern è la parte di OCaml che può essere più diversa da quella che hai già visto in altri linguaggi, quindi ti consiglio di non scrivere solo programmi nel modo in cui sei abituato (ad esempio aggirare il problema con ocaml-lib) ma provalo e vedi se ti piace.

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

variabile contents è assegnato 3, ma si ottiene un avvertimento:

Attenzione 8: questo pattern-matching non è esaustivo. Ecco un esempio di un valore che non è compensata: Nessuno

Nel caso generale, non si sa che l'espressione si desidera guardare dentro è necessariamente un Some c. Il motivo per cui è stato scelto un tipo di opzione è solitamente che a volte tale valore può essere None. Qui il compilatore ti ricorda che non stai gestendo uno dei possibili casi.

È possibile eseguire la corrispondenza del modello "in profondità" e il compilatore continuerà a verificare se è esaustivo. Considerate questo funzione che prende un (int option) option:

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

Qui hai dimenticato il caso Some (None) e il compilatore ti dice così:

Attenzione 8: questo pattern-matching non è esaustivo. Ecco un esempio di un valore che non corrisponde: Nessuno Nessuno

Answer 2

Il modo normale per farlo è con la corrispondenza del modello.

# 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 =() 

È possibile scrivere la propria funzione get (anche se si deve decidere ciò che si vuole fare quando il valore è None).

Answer 3

È necessario ascoltare i consigli sui poster sopra riportati relativi alla sicurezza dei tipi, ma tenere presente che funzioni non sicure come Option.get (che è disponibile nelle batterie btw) sono in genere suffissi con exn. Se sei curioso, allora è possibile implementare Option.get o Option.get_exn:

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