Question

在我的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”中倡导的一种方法是使用Core库的Sexp模块，为此目的提供设施。如果您不需要太多关于如何打印值的自定义，它似乎运行良好。我想知道是否有其他/更好的选择。

Answer 1

有一些基于类型的生成器，您可能会觉得有趣，例如deriving，typerep，sexplib等。但我不认为，有一些神奇的东西，它会在编译时读出你的想法，并根据你的品味和感受写出漂亮的印刷功能。关于模板，然后所有的模板引擎都是某种模式匹配（通常是字符串类型），OCaml已经为你提供了开箱即用的模式匹配。并且不要忘记，您的类型定义是递归的，这使得基于模板的方法更难以使用。您可以使用一些基于json或xml的自动转储程序，例如ocaml-cow并实现某种xslt转换，但最终会得到大量代码，这些代码实际上正在重新发明OCaml＆＃39 ; s本机模式匹配。

因此，对于像您这样的小语言，编写此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-visitor clasess。这是OCaml本身和camlp4中使用的方法。

在OCaml中打印变体类型

1 个答案: