在我的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"
我想知道是否有比这更方便/传统的方法，可能是随着语言的最新发展。例如，根据类型自动生成模板？可用于调试的通用打印功能？
"真实世界OCaml"中提倡的一种方法是使用核心库的Sexp模块，该模块正是为此目的提供设施的。如果您不需要对如何打印值进行太多定制，那么它似乎可以很好地工作。我想知道是否还有其他更好的选择。
有一些基于类型的生成器，你可能会觉得很有趣，比如deriving、typerep、sexplib等。但我没想到，有一些神奇的东西会在编译时读懂你的想法，并根据你的品味和感受编写出漂亮的打印函数。关于模板，那么所有的模板引擎都是某种模式匹配（通常是字符串类型的），OCaml已经为您提供了开箱即用的模式匹配。另外，不要忘记，您的类型定义是递归的，这使得基于模板的方法更难使用。您可以使用一些基于json或xml的自动转储程序，如ocaml-cow，并实现某种xslt转换，但最终会得到大量代码，这些代码实际上正在重新发明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或其他任何东西，包括不传输（即完全忽略标签）。但标签更多的是处理格式和元信息，比如语法混淆和引用。它们实际上并不能影响具体的语法。
对于丰富的语法树，编写漂亮打印函数的递归集的方法不能很好地扩展。这就是OCaml中有O的原因。您可以使用开放递归来实现带有大量钩子（即方法）的AST访问者冲突。这是OCaml本身和camlp4中使用的方法。