在 OCaml 中打印变量类型

Printing variant types in OCaml

在我的 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"        

我想知道是否有比这更多的 convenient/conventional 方式,可能是语言的最新发展。比如根据类型自动生成模板?可用于调试的通用打印函数?

"Real World OCaml" 中提倡的一种方法是使用核心库的 Sexp 模块,它为此目的提供了便利。如果您不需要对如何打印值进行太多自定义,它似乎工作得很好。我想知道是否有 other/better 选项。

很少有基于类型的生成器,您可能会觉得有趣,例如 derivingtyperepsexplib 等。但我不希望有一些神奇的东西,它会在编译时读懂你的想法,并根据你的品味和感受编写一个漂亮的打印函数。关于模板,那么所有的模板引擎都是某种模式匹配(通常是字符串类型),OCaml 已经为您提供了开箱即用的模式匹配。并且不要忘记,您的类型定义是递归的,这使得基于模板的方法更难使用。您可以使用一些基于 jsonxml 的自动转储程序,例如 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>

也可以将其转移到 LaTeXjson 或其他任何内容,包括什么也不转移(即完全忽略标签)。但标签更多的是处理格式和元信息,比如语法高亮和引用。它们实际上不能影响具体语法。

对于丰富的语法树,编写漂亮打印函数的递归集的方法不能很好地扩展。这就是 OCaml 中有 O 的原因。您可以使用开放递归来实现带有大量钩子(即方法)的 AST 访问者类。这是 OCaml 本身和 camlp4 中使用的方法。