我是 OCaml 的新手，我试图了解您应该如何从“a 选项”中获取价值。根据http://ocaml-lib.sourceforge.net/doc/Option.html 的文档，有一个'a option -> 'a 类型的get 函数可以满足我的要求。但是当我输入时：
# let z = Some 3;;
val z : int option = Some 3
# get z;;
Error: Unbound value get
# Option.get z;;
Error: Unbound module Option
为什么这不起作用？
【问题讨论】：
Some 构造函数中的值。
在 OCaml 中获取任何类型的构造函数中的值的传统方法是使用模式匹配。模式匹配是 OCaml 的一部分，可能与您在其他语言中看到的最不同，所以我建议您不要只是按照您习惯的方式编写程序（例如规避 ocaml-lib 的问题) 而是尝试一下，看看你是否喜欢它。
let contents =
match z with
Some c -> c;;
变量contents 被分配了3，但是你得到一个警告：
警告 8：这种模式匹配并不详尽。这是一个例子 不匹配的值：无
在一般情况下，您不会知道要查看的表达式一定是Some c。选择选项类型的原因通常是有时该值可以是None。在这里，编译器会提醒您，您没有处理其中一种可能的情况。
您可以“深度”进行模式匹配，编译器仍会检查穷举。考虑这个接受(int option) option的函数：
let f x =
match x with
Some (Some c) -> c
| None -> 0
;;
这里你忘记了Some (None) 的情况，编译器告诉你：
警告 8：这种模式匹配并不详尽。这是一个例子 不匹配的值：Some None
【讨论】：
let Some c = z in c
match with 进行模式匹配，因为后者是手头的主题，我认为一开始将它与单个结构相关联并不会有什么坏处。
通常的方法是使用模式匹配。
# 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 函数（尽管您必须决定 当值为 None 时你想做什么）。
【讨论】：
您应该听取上述海报关于类型安全的建议，但也要注意不安全的函数，例如 Option.get（顺便说一句，在电池中可用）通常带有 exn 后缀。如果你很好奇，那么 Option.get 或 Option.get_exn 是如何实现的：
let get_exn = function
| Some x -> x
| None -> raise (Invalid_argument "Option.get")
【讨论】：