获取Ocaml中变量的值

假设我有一个变量v，定义如下：

type value =    
    | Value of int
    | Error of string;;

---

如果v是一个值，我想做一些事情，如果v是一个错误，我如何确定这一点并基于它执行不同的行为

这就是

匹配表达式的作用：

match v with
| Value n -> (* Something with n *)
| Error s -> (* Something with s *)

（就OCaml是一种功能性语言而言，最好从价值观而不是行为的角度来思考。但如果您愿意，OCaml也可以是一种命令式语言。）