OCaml中的Some是什么？求列表最后元素代码中Some x的含义疑问

Some x的含义解释 #

你给出的获取列表最后一个元素的OCaml代码如下：

let rec last = function 
| [] -> None 
| x::[] -> Some x
| _ :: t -> last t ;;

这里的Some x和空列表分支返回的None是配对使用的，属于OCaml的option类型语法：

• OCaml没有空指针的设计，所有函数的返回类型必须统一，当函数可能出现「有正常返回值」和「无有效返回值」两种情况时，标准写法就是用option类型包裹结果：option类型定义为type 'a option = None | Some of 'a，其中None表示无结果，Some 具体值表示存在有效结果。
• 对应到当前函数逻辑：空列表没有最后一个元素，返回None；当匹配到x::[]（也就是列表仅剩x一个元素，x就是最后一个元素）时，返回Some x就是明确告知调用方「本次调用存在有效返回值，值为x」，用Some包裹后返回值类型和None一致，能通过OCaml的静态类型检查。
• 你实际使用这个函数时，只需要对返回结果做模式匹配，就能安全处理两种情况，示例如下：

  match last [1;2;3] with
  | None -> print_endline "列表为空"
  | Some v -> print_int v (* 输出3 *)
  

内容的提问来源于stack exchange，提问作者linuxxx