OCaml：获取值的类型名称

Question

可以在 OCaml 中打印值的名称，例如，如果我有

type my_type =
  | MyType_First of int
  | MyType_Second of string

，然后执行以下操作：

let my_value = MyType_First 0 in
print_string ("my_value is of type " ^ String.from_type my_value ^ ".\n";

我可以获得“my_value 的类型为 MyType_First”吗？ ？

谢谢。

Answer 1

单晶型溶液：

let from_type = function
  | MyType_First _ -> "MyType_First"
  | MyType_Second _ -> "MyType_Second"

多晶型溶液：无。 （据我所知，即使指定了调试标志，与构造函数相对应的词法标记也不会记录在字节码/二进制文件中。唯一能做的就是使用一些暗 Obj.txt 来打印构造函数的整数“标识符”。魔法。）

Answer 2

您想要的是一种更简单的通用打印形式，并且在 OCaml 中不可用，但存在一些解决方法 - 例如 推导。