OCaml 顶级输出格式

Question

如果我在 OCaml 的顶层执行以下命令：

#require "num";;
open Ratio;;

ratio_of_int 2;;

输出是：

- : Ratio.ratio = <ratio 2/1>

这样的格式如何可能？ 消息来源告诉我 Ratio.ratio 是一个记录。因此，输出应该更类似于

{numerator = <big_int 2>; denominator = <big_int 1>; normalized = true}

我尝试查看比率输出是否以某种方式硬编码在顶层，但此搜索没有结果。作为 OCaml 的新手，我必须问我是否遗漏了一些重要的东西？在重载字符串化函数的语言中，这并不奇怪，但在 OCaml 的情况下，我发现这种行为非常不合适。

Answer 1

Findlib 有一个专门用于比率模块的漂亮打印机。它不会打印 （界面不公开记录），而是打印您所看到的内容。如果你想检查一下，请查看 findlib/num_top_printers.ml：

let ratio_printer fmt v =
  Format.fprintf fmt "<ratio %s>" (Ratio.string_of_ratio v)

Answer 2

顶层有一个指令#install_printer，它采用一个函数来打印任何类型。

例如，您可以重新定义如何打印整数，如下所示：

let print_integer ppf n = Format.fprintf ppf "Integer(%d)" n
#install_printer print_integer

#install_printer 根据作为参数给出的函数类型选择打印机（此处为 Format.formatter -> int ->单位）。