在我的 OCaml 程序中，我花了相当多的时间一遍又一遍地为变体类型编写“to_string”。我需要它们用于调试目的，或者因为我需要特定格式的输出。
到目前为止，他们遵循如下模板:
let rec to_string = function
| Var x -> x
| Implies (f1, f2) -> Printf.sprintf "(=> %s %s)" (to_string f) (to_string f2)
| And (f1, f2) -> Printf.sprintf "(& %s %s)" (to_string f1) (to_string f2)
| Or (f1, f2) -> Printf.sprintf "(| %s %s)" (to_string f1) (to_string f2)
| Not (f) -> Printf.sprintf "(~ %s)" (to_string f)
| True -> "#t"
| False ->"#f"
我想知道是否有比这更方便/更传统的方式，可能是语言的最新发展。比如根据类型自动生成模板？可用于调试的通用打印函数？
“Real World OCaml”中提倡的一种方法是使用核心库的 Sexp 模块，该模块为此目的提供了便利。如果您不需要对如何打印值进行太多自定义，它似乎工作得很好。我想知道是否有其他/更好的选择。
最佳答案
有一些基于类型的生成器，你可能会觉得有趣，比如 deriving、typerep、sexplib 等。但是我不要指望，有什么神奇的东西会在编译时读懂你的想法，并根据你的品味和感受编写一个 pretty-print 函数。关于模板，那么所有的模板引擎都是某种模式匹配(通常是字符串类型)，OCaml 已经为您提供了开箱即用的模式匹配。并且不要忘记，您的类型定义是递归的，这使得基于模板的方法更难使用。您可以使用一些自动 json 或 xml 基于转储程序，如 ocaml-cow 并实现某种 xslt 转换，但您最终会得到很多代码，实际上是在 reshape OCaml 的原生模式匹配。
因此，对于像您这样的小型语言，编写此 to_string 函数是最好的解决方案。我认为这是向计算机表达您的想法的最自然方式。我还建议使用 Format 模块，并使用 %a 说明符进行递归。另外，Format 模块，有tags 的概念。标签允许在格式字符串中逐字标记文本片段，
标记的格式可以用下面的例子来解释:
@{<html>@{<head>@{<title>Tags!@}@}@{<body>Hello!@}@}
这可以自动转换为 HTML:
<html>
<head>
<title>
Tags!
</title>
</head>
<body>
Hello!
</body>
</html>
也可以将其传输到 LaTeX、json 或其他任何内容，包括什么都不传输(即完全忽略标签)。但标签更多的是处理格式和元信息，比如语法高亮和引用。它们实际上不能影响具体语法。
对于丰富的语法树，编写 pretty-print 函数的递归集的方法不能很好地扩展。这就是 OCaml 中有 O 的原因。您可以使用开放递归来实现带有大量钩子(Hook)(即方法)的 AST 访问者类。这是 OCaml 本身和 camlp4 中使用的方法。
关于在 OCaml 中打印变量类型，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/28527501/