ocaml - 在 OCaml 中打印 RLE 列表

Question

如果我用 encode[1;1;2] 调用我的运行长度编码程序，我会得到

int encode list = [Multiple (1, 2); Singles 1]

我如何为单曲获得一个括号 ()，这样它就像 [Multiple (1, 2); 单打（1）]？

Answer 1

这就是 OCaml 顶层打印值的方式。如果一个数据构造函数只有一个参数，它会被写成不带括号的。

如果您希望输出看起来不同，则必须编写自己的代码来进行打印。

这是一个会话，展示了如何使用#install_printer：

$ ocaml
        OCaml version 4.02.1

# type r = Singles of int | Multiple of int * int;;
type r = Singles of int | Multiple of int * int
# let printr f = function
  | Singles x -> Format.fprintf f "Singles (%d)" x
  | Multiple (x, y) -> Format.fprintf f "Multiple (%d, %d)" x y
  ;;
val printr : Format.formatter -> r -> unit = <fun>
# #install_printer printr;;
# Singles (3);;
- : r = Singles (3)
# Multiple (3, 5);;
- : r = Multiple (3, 5)
# [ Singles(1); Multiple(3, 5)];;
- : r list = [Singles (1); Multiple (3, 5)]