OCaml中如何正确构造tainted_value类型的转换函数？

OCaml是静态强类型的函数式语言，强制要求同一个函数的所有分支返回值类型必须完全一致，你遇到的报错本质是分支返回值类型不兼容导致的。

初始版本报错原因 #

你最初编写的代码：

let tva_to_string tva1 = match tva1 with 
  | Val (Fld e) -> e 
  | _ -> None

两个分支的返回值类型完全不匹配：

• Val (Fld e)分支返回的e是Fld构造器携带的参数，类型为string
• 通配分支返回的None是option枚举的空值构造器，类型为'a option

编译器检测到两种类型无法统一，因此抛出This expression has type 'a option but an expression was expected of type string的错误提示。

替换为failwith后编译通过的原因 #

failwith是OCaml标准库中用于抛出运行时异常的工具函数，它的类型签名为val failwith : string -> 'a，其中返回值'a是多态底类型，可以适配任意目标类型。
当你把通配分支的返回值替换为failwith "Empty"后，该分支的返回值类型可以自动对齐第一个分支的string类型，所有分支返回值类型统一，因此编译不再报错。

额外优化建议 #

如果不想在非预期输入时抛出运行时异常，可以将函数返回值改为string option类型，兼顾类型安全和错误处理：

let tva_to_string tva1 = match tva1 with 
  | Val (Fld e) -> Some e 
  | _ -> None

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