Question

我正在尝试编写一个模块来转换类似x：int = if true然后3 else 5转换为字符串

这是我到目前为止的代码

module Ast =
struct

type typ = Bool | Int
type var = A | B | C | D | E | F
type exp = Const of int * typ
           | App of string * exp list
           | If of exp * exp * exp
           | And of exp * exp
           | Or of exp * exp
       | Id of var * typ * exp


let rec toString (t) =
    let formatDec1(va,ty,e) = ???
    match t with
    Const(n, _) -> print_int n
      | App(id, [e1; e2]) -> formatter(" " ^ id ^ " ", e1, e2)
      | App(id, [e1]) -> formatter(" " ^ id ^ " ", e1, Const(0, Int))
      | App(id, _) -> formatter(" " ^ id ^ " ", Const(0, Int), Const(0, Int))
      | If(e1, e2, e3) -> formatIf(e1, e2, e3)
      | And(e1, e2) -> formatter(" && ", e1, e2)
      | Or(e1, e2) -> formatter(" || ", e1, e2)
      | Id(va,ty,e) -> formatDecl(va,ty,e)
end

我还是OCaml的初学者，无法找到任何关于在线转换为字符串的信息。谢谢！

Answer 1

您希望使用ml语法打印符号表达式。有些图书馆可以处理所谓的sexp，但是我从来没有使用它们，我不能评论它们的用途，它可能不是你想要的，因为它会回避练习的目的。

我认为你与已有的有些接近，但你的代码中存在一些语法错误。我会给你一堆建议来帮助你缩小差距。

首先，关于OCaml语法：

回想一下，您不需要为函数参数使用括号。函数定义的一般语法是：

let fun_name arg1 arg2 arg3 = function_body

如果你写

let fun_name (arg1,arg2,arg3) = ...

你实际上是在定义一个带有1个参数的函数，它本身就是3个值的元组。

在表达式中，您可以使用let ... in构造定义局部值，就像定义顶级值一样（就像我上面所做的那样）。如果这些值定义不是相互依赖的，则可以在多个值定义之间使用and关键字。

例如，

let x = 1 
and y = "a" in
...

将定义可在后续代码中使用的2个值x和y。

在您的代码中

您所提供的类型提供了一种符号表达式语言，您可以使用它来定义表达式，例如您给出的表达式：

“x：int =如果为真，那么其他5”将是：

Id("x", 
   Int, 
   (If (Const (1, Bool), 
        Const (3, Int), 
        Const (5, Int))))

实际上，您需要递归地遍历该值，并将返回的字符串组合成更大的字符串。或者，您可以使用字符串列表，并在结尾处执行字符串连接。看一下这个例子，你可能会看到它是如何工作的：

"x" ^ (":" ^ "int") ^ "=" ^ ("if" ^ ("true") ^ "then" ^ ("3") ^ ("5"))

您可以在上面看到不同的子表达式模式。我用括号来表示它们。

在你的toString函数中，有3个未定义的值：

formatter（一个类型为string * exp * exp的3元组的函数）
formatDec1（另一个函数采用类型为exp * exp * exp的3元组）
formatIf（与formatDec1相同）

您在rec函数定义中使用了关键字toString，表明该函数是递归的。在我看来，你不需要上面的3个函数（它们是你初始赋值的一部分，还是你自己定义它们？），但只有toString函数和字符串连接。

App类型的exp部分非常通用：您可以定义任意数量参数的应用程序，因此您的字符串转换代码应考虑到这种可能性。你可以使用一些列表函数（fold_left来考虑）来处理它。

Answer 2

还有一个名为deriving的项目可以帮助自动生成打印功能。我没用过，但看起来不错。

看到像这样的东西添加到基础OCaml编译器会很酷。它在Haskell（这是“衍生”这个名称的来源）中非常有效。

Answer 3

您必须为您的类型（或聚合类型，由记录或可打印类型的产品组成）实现您自己的打印例程。

您可能希望使用除了要打印的参数之外还接受打印功能的模块Printf的%a转换规范。

如果使用交互式ocaml顶级解释器，您可能需要使用#install_printer toplevel directive。

在您的代码中，您希望以递归方式调用format（例如，针对And(e1, e2)模式案例）。

要打印到字符串，请使用Printf.sprintf或Format .sprintf和朋友。 Printf和Format模块都为您提供其他功能（打印到通道，缓冲区，字符串等）。

如何在Ocaml中将非内置类型转换为字符串？

3 个答案: