模組 Stdlib.Format

module Format: Format

簡介

您可以將此模組視為提供 printf 功能的擴展，以提供自動換行。在您常規的 printf 格式字串中加入美觀列印註解，可以讓您獲得精美的縮排和換行。美觀列印註解在函式 Format.fprintf 的說明文件中介紹如下。

您也可以使用此模組提供的顯式美觀列印框管理和列印函式。這種風格比簡潔的 fprintf 格式字串更基本，但更冗長。

例如，序列 open_box 0; print_string "x ="; print_space ();
    print_int 1; close_box (); print_newline () 在美觀列印框中列印 x = 1，可以簡寫為 printf "@[%s@ %i@]@." "x =" 1，甚至更短的 printf "@[x =@ %i@]@." 1。

此函式庫一般使用者的經驗法則

• 使用簡單的美觀列印框（如 open_box 0 獲得的）；
• 使用簡單的換行提示，如 print_cut () 輸出的簡單換行提示，或 print_space () 輸出的空格表示換行提示；
• 一旦美觀列印框開啟，使用基本列印函式（例如 print_int 和 print_string）顯示其內容；
• 當美觀列印框的內容列印完畢後，呼叫 close_box () 以關閉該框；
• 在美觀列印結束時，刷新美觀列印器以顯示所有剩餘內容，例如，評估 print_newline ()。

如果沒有開啟美觀列印框，則美觀列印命令的行為未指定。下面 open_ 函式開啟的每個框都必須使用 close_box 關閉，才能正確格式化。否則，框中列印的某些內容可能不會輸出，或格式不正確。

在互動式使用的情況下，每個語句都在標準美觀列印器的初始狀態中執行：在每個語句執行後，互動式系統會關閉所有開啟的美觀列印框、刷新所有待處理文字，並重置標準美觀列印器。

警告：將此模組的美觀列印函式呼叫與 Stdlib 低階輸出函式呼叫混合使用是容易出錯的。

美觀列印函式輸出的是在美觀列印器佇列中延遲並堆疊的內容，以便計算正確的換行。相反，基本 I/O 輸出函式直接寫入其輸出裝置。因此，基本 I/O 函式的輸出可能會在之前呼叫的美觀列印函式的輸出之前顯示。例如，
    Stdlib.print_string "<";
    Format.print_string "PRETTY";
    Stdlib.print_string ">";
    Format.print_string "TEXT";
    會導致輸出 <>PRETTYTEXT。

格式化器

type formatter 

美觀列印框

美觀列印引擎使用美觀列印框和換行提示的概念來驅動美觀列印器的縮排和換行行為。

每種不同的美觀列印框種類都會引入特定的換行策略

• 在水平框內，換行提示永遠不會換行（但可以在更深層次巢狀的框中換行），
• 在垂直框內，換行提示總是換行，
• 在水平/垂直框內，如果該框適合目前行，則換行提示永遠不會換行，否則換行提示總是換行，
• 在壓縮框內，換行提示永遠不會換行，除非目前行沒有更多空間。

請注意，換行策略是框特定的：框的策略不會支配內部框的策略。例如，如果垂直框巢狀在水平框中，則垂直框內的所有換行提示都會換行。

此外，在 最大縮排限制 之後開啟框會換行，無論該框最終是否適合該行。

val pp_open_box : formatter -> int -> unit

val open_box : int -> unit

val pp_close_box : formatter -> unit -> unit

val close_box : unit -> unit

val pp_open_hbox : formatter -> unit -> unit

val open_hbox : unit -> unit

val pp_open_vbox : formatter -> int -> unit

val open_vbox : int -> unit

val pp_open_hvbox : formatter -> int -> unit

val open_hvbox : int -> unit

val pp_open_hovbox : formatter -> int -> unit

val open_hovbox : int -> unit

格式化函式

val pp_print_string : formatter -> string -> unit

val print_string : string -> unit

val pp_print_bytes : formatter -> bytes -> unit

val print_bytes : bytes -> unit

val pp_print_as : formatter -> int -> string -> unit

val print_as : int -> string -> unit

val pp_print_int : formatter -> int -> unit

val print_int : int -> unit

val pp_print_float : formatter -> float -> unit

val print_float : float -> unit

val pp_print_char : formatter -> char -> unit

val print_char : char -> unit

val pp_print_bool : formatter -> bool -> unit

val print_bool : bool -> unit

val pp_print_nothing : formatter -> unit -> unit

換行提示

「換行提示」會告知美觀列印器輸出一些空格或換行，無論哪種方式更適合目前的美觀列印框換行規則。

換行提示用於分隔列印項目，並且對於讓美觀列印器正確換行和縮排項目是強制性的。

簡單的換行提示是

• 「空格」：輸出一個空格，或者在適當時換行，
• 「剪切」：在適當時換行。

注意：對於美觀列印引擎而言，空格和換行的概念是抽象的，因為程式設計師可以完全重新定義這些概念。但是，在美觀列印器的預設設定中，「輸出空格」僅表示列印空格字元 (ASCII 碼 32)，而「換行」表示列印換行字元 (ASCII 碼 10)。

val pp_print_space : formatter -> unit -> unit

val print_space : unit -> unit

val pp_print_cut : formatter -> unit -> unit

val print_cut : unit -> unit

val pp_print_break : formatter -> int -> int -> unit

val print_break : int -> int -> unit

val pp_print_custom_break : formatter ->
       fits:string * int * string -> breaks:string * int * string -> unit

[
  a;
  b;
  c;
]
   

printf "@[<v 0>[@;<0 2>@[<v 0>a;@,b;@,c@]%t]@]@\n"
  (pp_print_custom_break ~fits:("", 0, "") ~breaks:(";", 0, ""))
   

val pp_force_newline : formatter -> unit -> unit

val force_newline : unit -> unit

val pp_print_if_newline : formatter -> unit -> unit

val print_if_newline : unit -> unit

美觀列印終止

val pp_print_flush : formatter -> unit -> unit

val print_flush : unit -> unit

val pp_print_newline : formatter -> unit -> unit

val print_newline : unit -> unit

邊距

val pp_infinity : int

val pp_set_margin : formatter -> int -> unit

val set_margin : int -> unit

val pp_get_margin : formatter -> unit -> int

val get_margin : unit -> int

最大縮排限制

val pp_set_max_indent : formatter -> int -> unit

val set_max_indent : int -> unit

 set_margin 10; set_max_indent 5; printf "@[123456@[7@]89A@]@." 

    123456
    789A
  

 printf "@[123456@[7@]89@]@." 

 printf "@[123@[456@[7@]89@]A@]@." 

val pp_get_max_indent : formatter -> unit -> int

val get_max_indent : unit -> int

幾何

幾何函式可用於同時操作耦合變數、邊界和最大縮排限制。

type geometry = {

val check_geometry : geometry -> bool

val pp_set_geometry : formatter -> max_indent:int -> margin:int -> unit

val set_geometry : max_indent:int -> margin:int -> unit

val pp_safe_set_geometry : formatter -> max_indent:int -> margin:int -> unit

val safe_set_geometry : max_indent:int -> margin:int -> unit

val pp_update_geometry : formatter -> (geometry -> geometry) -> unit

val update_geometry : (geometry -> geometry) -> unit

val pp_get_geometry : formatter -> unit -> geometry

val get_geometry : unit -> geometry

最大格式化深度

最大格式化深度是同時開啟的精美列印框的最大數目。

巢狀深度較深的方塊內的資料會列印為省略符號（更準確地說，會列印為 Format.get_ellipsis_text () 傳回的文字）。

val pp_set_max_boxes : formatter -> int -> unit

val set_max_boxes : int -> unit

val pp_get_max_boxes : formatter -> unit -> int

val get_max_boxes : unit -> int

val pp_over_max_boxes : formatter -> unit -> bool

val over_max_boxes : unit -> bool

製表框

製表框會在分割成固定長度儲存格的行上列印資料。製表框提供一種簡單的方式來顯示左對齊文字的垂直欄。

此方塊具有命令 set_tab 來定義儲存格邊界，以及命令 print_tab 來在儲存格之間移動，並在行上沒有更多要列印的儲存格時分割該行。

注意：在製表框內列印是以行導向的，因此在製表框內任意分割行會導致呈現效果不佳。然而，在 Format 模組內控制使用製表框允許簡單地列印欄。

val pp_open_tbox : formatter -> unit -> unit

val open_tbox : unit -> unit

val pp_close_tbox : formatter -> unit -> unit

val close_tbox : unit -> unit

val pp_set_tab : formatter -> unit -> unit

val set_tab : unit -> unit

val pp_print_tab : formatter -> unit -> unit

val print_tab : unit -> unit

val pp_print_tbreak : formatter -> int -> int -> unit

val print_tbreak : int -> int -> unit

省略符號

val pp_set_ellipsis_text : formatter -> string -> unit

val set_ellipsis_text : string -> unit

val pp_get_ellipsis_text : formatter -> unit -> string

val get_ellipsis_text : unit -> string

語義標籤

type stag = ..

type stag += RGB of {r:int;g:int;b:int}

type tag = string 

type Format.stag += 

val pp_open_stag : formatter -> stag -> unit

val open_stag : stag -> unit

val pp_close_stag : formatter -> unit -> unit

val close_stag : unit -> unit

val pp_set_tags : formatter -> bool -> unit

val set_tags : bool -> unit

val pp_set_print_tags : formatter -> bool -> unit

val set_print_tags : bool -> unit

val pp_set_mark_tags : formatter -> bool -> unit

val set_mark_tags : bool -> unit

val pp_get_print_tags : formatter -> unit -> bool

val get_print_tags : unit -> bool

val pp_get_mark_tags : formatter -> unit -> bool

val get_mark_tags : unit -> bool

val pp_set_formatter_out_channel : formatter -> out_channel -> unit

val set_formatter_out_channel : out_channel -> unit

val pp_set_formatter_output_functions : formatter -> (string -> int -> int -> unit) -> (unit -> unit) -> unit

val set_formatter_output_functions : (string -> int -> int -> unit) -> (unit -> unit) -> unit

val pp_get_formatter_output_functions : formatter -> unit -> (string -> int -> int -> unit) * (unit -> unit)

val get_formatter_output_functions : unit -> (string -> int -> int -> unit) * (unit -> unit)

重新定義格式化器輸出

Format 模組功能非常全面，可讓您完全重新定義美化列印輸出的含義：您可以提供自己的函數來定義如何處理縮排、換行，甚至列印所有必須列印的字元！

重新定義輸出函式

type formatter_out_functions = {

val pp_set_formatter_out_functions : formatter -> formatter_out_functions -> unit

val set_formatter_out_functions : formatter_out_functions -> unit

val pp_get_formatter_out_functions : formatter -> unit -> formatter_out_functions

val get_formatter_out_functions : unit -> formatter_out_functions

重新定義語義標籤操作

type formatter_stag_functions = {

val pp_set_formatter_stag_functions : formatter -> formatter_stag_functions -> unit

val set_formatter_stag_functions : formatter_stag_functions -> unit

val pp_get_formatter_stag_functions : formatter -> unit -> formatter_stag_functions

val get_formatter_stag_functions : unit -> formatter_stag_functions

定義格式化器

定義新的格式化器允許在多個輸出裝置上平行輸出無關的內容。格式化器的所有參數都是格式化器本機的：右邊界、最大縮排限制、同時開啟的最大美觀列印方塊數量、省略符號等等，每個格式化器都是特定的，並且可以獨立設定。

例如，給定一個 Buffer.t 緩衝區 b，Format.formatter_of_buffer b 會傳回一個新的格式化器，使用緩衝區 b 作為其輸出裝置。同樣地，給定一個 out_channel 輸出通道 oc，Format.formatter_of_out_channel oc 會傳回一個新的格式化器，使用通道 oc 作為其輸出裝置。

或者，給定 out_funs，一組完整的格式化器輸出函式，則 Format.formatter_of_out_functions out_funs 會計算一個新的格式化器，使用這些函式進行輸出。

val formatter_of_out_channel : out_channel -> formatter

val synchronized_formatter_of_out_channel : out_channel -> formatter Domain.DLS.key

val std_formatter : formatter

val get_std_formatter : unit -> formatter

val err_formatter : formatter

val get_err_formatter : unit -> formatter

val formatter_of_buffer : Buffer.t -> formatter

val stdbuf : Buffer.t

val get_stdbuf : unit -> Buffer.t

val str_formatter : formatter

val get_str_formatter : unit -> formatter

val flush_str_formatter : unit -> string

val make_formatter : (string -> int -> int -> unit) -> (unit -> unit) -> formatter

    make_formatter
      (Stdlib.output_substring oc)
      (fun () -> Stdlib.flush oc)
  

val make_synchronized_formatter : (string -> int -> int -> unit) ->
       (unit -> unit) -> formatter Domain.DLS.key

val formatter_of_out_functions : formatter_out_functions -> formatter

符號美觀列印

符號美觀列印是使用符號格式化器的美觀列印，也就是說，格式化器會輸出符號美觀列印項目。

當使用符號格式化器時，會發生所有常規的美觀列印活動，但輸出內容是符號的，並且儲存在輸出項目的緩衝區中。在美觀列印結束時，清除輸出緩衝區允許在執行低階輸出操作之前對符號輸出進行後處理。

實際上，首先使用以下命令定義符號輸出緩衝區 b

• let sob = make_symbolic_output_buffer ()。然後使用以下命令定義符號格式化器
• let ppf = formatter_of_symbolic_output_buffer sob

像往常一樣使用符號格式化器 ppf，並在美觀列印結束時，透過使用以下命令清除符號輸出緩衝區 sob 來擷取符號項目

• flush_symbolic_output_buffer sob.

type symbolic_output_item = 

type symbolic_output_buffer 

val make_symbolic_output_buffer : unit -> symbolic_output_buffer

val clear_symbolic_output_buffer : symbolic_output_buffer -> unit

val get_symbolic_output_buffer : symbolic_output_buffer -> symbolic_output_item list

val flush_symbolic_output_buffer : symbolic_output_buffer -> symbolic_output_item list

val add_symbolic_output_item : symbolic_output_buffer -> symbolic_output_item -> unit

val formatter_of_symbolic_output_buffer : symbolic_output_buffer -> formatter

方便的格式化函式。

val pp_print_iter : ?pp_sep:(formatter -> unit -> unit) ->
       (('a -> unit) -> 'b -> unit) ->
       (formatter -> 'a -> unit) -> formatter -> 'b -> unit

val pp_print_list : ?pp_sep:(formatter -> unit -> unit) ->
       (formatter -> 'a -> unit) -> formatter -> 'a list -> unit

val pp_print_array : ?pp_sep:(formatter -> unit -> unit) ->
       (formatter -> 'a -> unit) -> formatter -> 'a array -> unit

val pp_print_seq : ?pp_sep:(formatter -> unit -> unit) ->
       (formatter -> 'a -> unit) ->
       formatter -> 'a Seq.t -> unit

val pp_print_text : formatter -> string -> unit

val pp_print_option : ?none:(formatter -> unit -> unit) ->
       (formatter -> 'a -> unit) -> formatter -> 'a option -> unit

val pp_print_result : ok:(formatter -> 'a -> unit) ->
       error:(formatter -> 'e -> unit) ->
       formatter -> ('a, 'e) result -> unit

val pp_print_either : left:(formatter -> 'a -> unit) ->
       right:(formatter -> 'b -> unit) ->
       formatter -> ('a, 'b) Either.t -> unit

格式化的美觀列印

模組 Format 提供了一整套類似 printf 的函式，用於使用格式字串規格進行美觀列印。

可以在格式字串中新增特定的註解，以便向美觀列印引擎提供美觀列印命令。

這些註解是透過使用 @ 字元在格式字串中引入的。例如，@  表示空格分行符號，@, 表示切割，@[ 開啟新的方塊，而 @] 關閉最後一個開啟的方塊。

val fprintf : formatter -> ('a, formatter, unit) format -> 'a

fprintf ff fmt arg1 ... argN 會根據格式字串 fmt 格式化引數 arg1 到 argN，並將產生的字串輸出到格式化器 ff 上。

格式字串 fmt 是一個字元字串，其中包含三種類型的物件：如 Printf 模組中所指定的純字元和轉換規格，以及 Format 模組特定的美觀列印指示。

美化列印指示字元以 @ 字元引入，其含義如下：

• @[：開啟一個美化列印框。可以使用以下語法選擇性地指定框的類型和偏移量： < 字元，後跟一個可選的框類型指示，然後是一個可選的整數偏移量，以及結束的 > 字元。美化列印框類型為 h、v、hv、b 或 hov 中的其中一個。 'h' 代表「水平」美化列印框，'v' 代表「垂直」美化列印框，'hv' 代表「水平/垂直」美化列印框，'b' 代表展示縮排的「水平或垂直」美化列印框，'hov' 代表簡單的「水平或垂直」美化列印框。例如， @[<hov 2> 開啟一個縮排為 2 的「水平或垂直」美化列印框，如同使用 open_hovbox 2 所獲得的結果。有關美化列印框的更多詳細資訊，請參閱各種框開啟函式 open_*box。
• @]：關閉最近開啟的美化列印框。
• @,：輸出「剪切」換行提示，如同 print_cut ()。
• @ ：輸出「空格」換行提示，如同 print_space ()。
• @;：輸出「完整」換行提示，如同 print_break。換行提示的 nspaces 和 offset 參數可以使用以下語法選擇性地指定： < 字元，後跟一個整數 nspaces 值，然後是一個整數 offset，以及結束的 > 字元。如果未提供任何參數，則完整換行會預設為「空格」換行提示。
• @.：刷新美化列印器並分割行，如同 print_newline ()。
• @<n>：將以下項目列印為長度為 n。因此， printf "@<0>%s" arg 會將 arg 列印為零長度字串。如果 @<n> 後面沒有跟著轉換規範，則格式的下一個字元會列印為長度 n。
• @{：開啟一個語義標籤。可以使用以下語法選擇性地指定標籤的名稱： < 字元，後跟一個可選的字串規範，以及結束的 > 字元。字串規範是任何不包含結束字元 '>' 的字元字串。如果省略，則標籤名稱預設為空字串。有關語義標籤的更多詳細資訊，請參閱函式 Format.open_stag 和 Format.close_stag。
• @}：關閉最近開啟的語義標籤。
• @?：刷新美化列印器，如同 print_flush ()。這等同於轉換 %!。
• @\n：強制換行，如同 force_newline ()，這不是美化列印的正常方式，您應該偏好在垂直美化列印框內使用換行提示。

注意：為了防止將 @ 字元解釋為美化列印指示，請使用 % 字元將其逸出。舊的引號模式 @@ 已棄用，因為它與字元 '@' 的格式化輸入解釋不相容。

範例： printf "@[%s@ %d@]@." "x =" 1 等同於 open_box (); print_string "x ="; print_space ();
   print_int 1; close_box (); print_newline ()。它在美化列印的「水平或垂直」框內列印 x = 1。

val printf : ('a, formatter, unit) format -> 'a

val eprintf : ('a, formatter, unit) format -> 'a

val sprintf : ('a, unit, string) format -> 'a

val asprintf : ('a, formatter, unit, string) format4 -> 'a

val dprintf : ('a, formatter, unit, formatter -> unit) format4 -> 'a

  let t = Format.dprintf "%i@ %i@ %i" 1 2 3 in
  ...
  Format.printf "@[<v>%t@]" t

val ifprintf : formatter -> ('a, formatter, unit) format -> 'a

使用連續性的格式化美化列印。

val kfprintf : (formatter -> 'a) ->
       formatter -> ('b, formatter, unit, 'a) format4 -> 'b

val kdprintf : ((formatter -> unit) -> 'a) ->
       ('b, formatter, unit, 'a) format4 -> 'b

val ikfprintf : (formatter -> 'a) ->
       formatter -> ('b, formatter, unit, 'a) format4 -> 'b

val ksprintf : (string -> 'a) -> ('b, unit, string, 'a) format4 -> 'b

val kasprintf : (string -> 'a) -> ('b, formatter, unit, 'a) format4 -> 'b

範例

一些熱身範例，讓您了解如何使用 Format。

我們有一個配對 (int * bool) 的清單 l，最上層會為我們列印它

# let l = List.init 20 (fun n -> n, n mod 2 = 0)
  val l : (int * bool) list =
  [(0, true); (1, false); (2, true); (3, false); (4, true); (5, false);
   (6, true); (7, false); (8, true); (9, false); (10, true); (11, false);
   (12, true); (13, false); (14, true); (15, false); (16, true); (17, false);
   (18, true); (19, false)]
 

如果我們想要在沒有最上層魔術的情況下自己列印它，我們可以嘗試這樣

  # let pp_pair out (x,y) = Format.fprintf out "(%d, %b)" x y
  val pp_pair : Format.formatter -> int * bool -> unit = <fun>
  # Format.printf "l: [@[<hov>%a@]]@."
    Format.(pp_print_list ~pp_sep:(fun out () -> fprintf out ";@ ") pp_pair) l
    l: [(0, true); (1, false); (2, true); (3, false); (4, true); (5, false);
        (6, true); (7, false); (8, true); (9, false); (10, true); (11, false);
        (12, true); (13, false); (14, true); (15, false); (16, true);
        (17, false); (18, true); (19, false)]

  

簡而言之，它的作用是

• pp_pair 列印一個以 "(" ")" 包圍的配對 bool*int。它會取得一個格式器（格式化發生之處）和配對本身。列印完成後，它會傳回 ()。

• Format.printf "l = [@[<hov>%a@]]@." ... l 類似於 printf，但帶有額外的格式化指示（以 "@" 表示）。配對 "@[<hov>" 和 "@]" 是一個「水平或垂直框」。

• "@." 以換行符號結束格式化。它類似於 "\n"，但也知道 Format.formatter 的狀態。請勿將 "\n" 與 Format 一起使用。

• "%a" 是一個格式化指示，例如 printf 的 "%d" 或 "%s"。但是，"%d" 列印一個整數，而 "%s" 列印一個字串，"%a" 取得一個列印器（類型為 Format.formatter -> 'a -> unit）和一個值（類型為 'a），並將列印器套用至該值。這是列印器可組合性的關鍵。

• 我們使用 Format.pp_print_list ~pp_sep:(...) pp_pair 來建立清單列印器。 pp_print_list 取得一個元素列印器並傳回一個清單列印器。如果提供了可選引數 ?pp_sep，則會在每個元素之間呼叫它以列印分隔符號。

• 在這裡，對於分隔符號，我們使用 (fun out () -> Format.fprintf out ";@ ")。它會列印 ";"，然後是 "@ "，這是一個換行空格（如果框即將溢位，則會列印「 」，否則會列印換行符號）。此 "@ " 負責將清單列印分成幾行。

如果我們省略 "@ "，我們會得到一個醜陋的單行列印

# Format.printf "l: [@[<hov>%a@]]@."
      Format.(pp_print_list ~pp_sep:(fun out () -> fprintf out "; ") pp_pair) l
  l: [(0, true); (1, false); (2, true); (* ... *); (18, true); (19, false)]
- : unit = ()
    

一般來說，為程式中的重要類型定義自訂列印器是一個很好的做法。例如，如果您要像這樣定義基本的幾何類型

  type point = {
    x: float;
    y: float;
  }

  type rectangle = {
    ll: point; (* lower left *)
    ur: point; (* upper right *)
  }
  

為了除錯目的，或在記錄檔中或在主控台上顯示資訊，為這些類型定義列印器會很方便。以下是如何執行此操作的範例。請注意，"%.3f" 是一個 float 列印器，在小數點後具有 3 位數的精確度；"%f" 會列印所需的位數，這有點冗長；"%h" 是一個十六進制浮點列印器。

  let pp_point out (p:point) =
    Format.fprintf out "{ @[x=%.3f;@ y=%.3f@] }" p.x p.y

  let pp_rectangle out (r:rectangle) =
    Format.fprintf out "{ @[ll=%a;@ ur=%a@] }"
      pp_point r.ll pp_point r.ur
  

在 .mli 檔案中，我們可以有

    val pp_point : Format.formatter -> point -> unit

    val pp_rectangle : Format.formatter -> rectangle -> unit
  

這些列印器現在可以在其他列印器中使用 "%a"。

 # Format.printf "some rectangle: %a@."
        (Format.pp_print_option pp_rectangle)
        (Some {ll={x=1.; y=2.}; ur={x=42.; y=500.12345}})
  some rectangle: { l={ x=1.000; y=2.000 }; ur={ x=42.000; y=500.123 } }

  # Format.printf "no rectangle: %a@."
        (Format.pp_option pp_rectangle)
        None
  no rectangle:
  

請參閱我們如何將 pp_print_option（選項列印器）與我們新定義的矩形列印器結合使用，就像我們之前對 pp_print_list 所做的一樣。

如需更廣泛的教學課程，請參閱 「使用 Format 模組」。

最後一個注意事項： Format 模組是一個起點。OCaml 生態系統具有使格式化更容易和更具表現力的程式庫，具有更多的組合器、更簡潔的名稱等。此類程式庫的一個範例是 Fmt。

也可以使用 https://github.com/ocaml-ppx/ppx_deriving 或類似的 ppx 衍生器，從類型定義自動衍生美化列印器。