Fatal编程技术网
  • printing/
  • Printing 在OCaml中打印变体类型

Printing 在OCaml中打印变体类型

printing ocaml

Printing 在OCaml中打印变体类型,printing,ocaml,variant,Printing,Ocaml,Variant,在我的OCaml程序中，我花了相当多的时间一遍又一遍地为变量类型编写“to_string”。我需要它们用于调试目的，或者因为我需要特定的格式化输出 到目前为止，它们遵循如下模板： let rec to_string = function | Var x -> x

在我的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模块，该模块为此目的提供了工具。如果您不需要对打印值的方式进行太多定制，那么它似乎工作得很好。我想知道是否还有其他/更好的选择

很少有基于类型的生成器，你可能会觉得有趣，比如
派生
，
typerep
，
sexpliblib
，等等。但我不认为有什么神奇的东西，可以在编译时读懂你的心思，并根据你的喜好和感觉编写漂亮的打印函数。关于模板，所有的模板引擎都是某种模式匹配（通常是严格类型的），OCaml已经为您提供了现成的模式匹配。而且也不要忘记，您的类型定义是递归的，这使得基于模板的方法更难使用。您可以使用一些基于
json
或
xml
的自动转储程序，如
ocaml-cow
，并实现某种xslt转换，但最终会得到大量代码，这些代码实际上是在重新设计ocaml的本机模式匹配

因此，对于像您这样的小型语言，将此
编写到_string
函数是最好的解决方案。我认为这是向计算机表达你想法的最自然的方式。我还建议使用
格式
模块，并使用
%a
说明符递归。另外，
格式
模块具有
标记
的概念。标记允许以字符串格式对文本片段进行逐字标记， 标签的格式可通过以下示例进行说明：

@{<html>@{<head>@{<title>Tags!@}@}@{<body>Hello!@}@}

{{{{Tags！@}}}{Hello！@}}}
这可以自动转换为HTML：

  <html>
   <head>
    <title>
    Tags!
    </title>
   </head>
   <body>
   Hello!
   </body>
  </html>


标签！
你好
您还可以将其传输到
LaTeX
、
json
，或任何其他内容，包括不包含任何内容（即完全忽略标记）。但是标记更多的是处理格式和元信息，比如语法和引用。它们实际上不能影响具体的语法

对于丰富的语法树，编写递归的漂亮打印函数集的方法不能很好地扩展。这就是为什么OCaml中有O。您可以使用开放递归来实现带有许多钩子（即方法）的AST访问者类。这是OCaml本身和camlp4中使用的方法

有一个camlp4预处理器，它通过一个新的指令
派生
扩展了ocaml语法，该指令允许您指示是否希望以机械方式编写字符串转换函数。让人想起Haskell的派生（
派生show
）的语法。虽然我从来没用过，但我知道它很好。我不确定它是否仍然适用于4.0+版本的Ocaml。（其中一个）作者有一个关于camlp4的优秀教程，描述了如何开发这样的扩展。哦，也许它与Core中的内容相同，我不知道。谢谢。这似乎与Core中所做的类似。基本上，您可以在类型定义之后添加“with sexp”，camlp4为您派生出与sexp.t之间的转换函数（对于sexp.t有通用的打印和解析函数）。啊，对了，我现在想起来了：iirc
sexp
的目标是为ocaml提供符号表达式（我相信是在lisp中），可以以人类可读的格式序列化。一个副作用是，它可以方便地转换为字符串。