内置类型的 OCaml 模式匹配

Question

我正在尝试编写一个多态函数，它需要根据参数的类型做一些稍微不同的事情。有什么方法可以使用内置类型对对象的类型进行模式匹配？我正在考虑这些方面的一些事情：

let to_string v =
    match v with
    | string -> v
    | int -> string_of_int v
    | _ -> ""

但这似乎不是一个有效的 OCaml 程序。

我见过this question，但这也不能完全回答我的问题。我会更喜欢使用标准的内置类型，而不是为此构造新类型（尽管如果这是唯一的方法，我可以这样做）。

Answer 1

实际上，这个答案完全适用于你。只能匹配一个类型类，int、string、float、...的并集定义的类型不存在，需要创建（如上一个答案）。 'a 作用于特定类型，但并不代表所有类型的联合。

您也许可以使用外部 C 函数 (18.3) 做您想做的事情，不过，看看原子标签部分，我不确定您是否能够区分 char 和 @987654327 @。