如何在相互递归类型中使用deRing show（）？

Question

让我们直接查看代码。

type symbol =
   | JumpDes of int 
   | CallDes of func
   | StarDes of exp (*here needs the definition of type exp*)
  deriving (Show)
type exp =
   | Const of const
   | Symbol of symbol (*here needs the definition of type symbol*)
   | Reg of reg
   | Assist of assistop
   | Ptr of ptraddr
   | Label of string
   deriving (Show)

我想使用软件包派生以打印有关两种类型的信息。根据其 document ，我只需要添加deriving（show）（show）< /代码>在我想打印的类型之后。但是我无法通过添加和这样的相互递归类型来定义相互递归类型：

type symbol =
   | JumpDes of int
   | CallDes of func
   | StarDes of exp 
  deriving (Show)
and exp = (*note that it's line 240*)
   | Const of const
   | Symbol of symbol
   | Reg of reg
   | Assist of assistop 
   | Ptr of ptraddr
   | Label of string
   deriving (Show)

上面的编译代码会在下面获取错误：

File "type.ml", line 240, characters 16-17:
Parse error: [semi] expected after [str_item] (in [implem])
File "type.ml", line 1:
Error: Error while running external preprocessor

如果我想在相互递归类型上使用deading show（），该怎么办？感谢您的帮助！

Answer 1

要得出漂亮打印功能，您可以使用 ppx_deriving ^{1 。首先，请确保您安装了它，}

opam install ppx_deriving

接下来，让我们根据您的输入创建一个示例项目，

type func = string [@@deriving show]
type const = int [@@deriving show]
type reg = int [@@deriving show]
type assistop = int [@@deriving show]
type ptraddr = int [@@deriving show]

type symbol =
  | JumpDes of int
  | CallDes of func
  | StarDes of exp
[@@deriving show]

and exp =
  | Const of const
  | Symbol of symbol
  | Reg of reg
  | Assist of assistop
  | Ptr of ptraddr
  | Label of string
[@@deriving show]


let () =
  let input = StarDes (Const 1) in
  Format.printf "%s\n%a@\n" (show_symbol input) pp_symbol input

我为您在问题中未提供的类型提供了一些别名。请注意，所有类型都必须指定[@@ deriving Show]。当类型是递归时，只需将和视为type。基本上，与您相同，但是我们需要使用ppx-syntax，例如[@@ deriving show]而不是ocsigen。

在程序结束时，有一个示例显示了如何使用生成的函数。有两种类型的函数，show_foo，将类型foo的值转换为字符串，而漂亮打印的函数pp_foo pp_foo prints 代码> foo 进入格式化器，由于不需要创建中间字符串，因此更快。打印机与％a指定符一起使用，并进行两个参数，即打印机本身和要打印的值。因此，无需将括号放置，也是一个小的胜利。我在示例中使用了两个选项，以便您可以对比它们。

最后，如何构建它？如果您使用Dune，则是示例Dune文件，

(executable
 (name example)
 (preprocess
  (pps ppx_deriving.show)))

您可以自己创建Dune文件或使用以下命令（假设 在示例中

dune init executable example --ppx=ppx_deriving.show

。

dune exec ./example.exe

我们的程序 .. 向您的 ocamlbuild 调用，例如，

ocamlbuild -package ppx_deriving.show example.native
./example.native

如果您使用其他构建系统，则会打印，

(Example.StarDes (Example.Const 1))
(Example.StarDes (Example.Const 1))

然后不要犹豫，我们将需要有关您的构建的更多信息系统或您项目的链接。如果您只是启动一个新项目，而不知道应该使用哪种构建系统，那么沙丘就是答案。

---

^1）这不是唯一的选择。您还可以使用PPX_JANE的SEXP DERIVER PPX_SHOW，可能还有更多。