使用带有可选参数的打印机键入格式

时间:2019-04-17 09:23:44

标签: types format arguments ocaml optional

我正面临OCaml类型器的有趣行为。打字机似乎无法接受带有可选参数的打印机。

当函数具有可选参数时,可以将其键入为没有可选参数的函数。

(** Simple example *)
let (f1 : ?arg : int -> unit -> int) =
  fun ?(arg = 3) () : int -> arg + 5

let f2  : ((unit -> int) -> int) =
  fun f -> f ()

let x : int = f2 f1
(* The type of f1 matches the signature of f2 :
   the optional argument is well discarded. *)

在这里,f1有一个可选参数,但是f2 f1的类型很好。这是因为(或至少是我所了解的)f2参数的签名包含f1的类型。可选参数被简单地丢弃。

但是,如本示例所示,此行为在打印机中被拒绝。

 (* Data structure *)
type 'a elt = {
  data : int;
  annot : 'a
}

(* Type of printer annotations *)
type 'annot printer = Format.formatter -> 'annot -> unit

(* Default printer prints nothing *)
let (default : 'a printer) = fun fmt _ -> Format.fprintf fmt ""

(* Generic printer for elts *)
let elt_printer
    ?(print_annot : 'a printer = default)
    (fmt : Format.formatter)
    (elt : 'a elt) =
  Format.fprintf fmt "%i(%a)"
    elt.data
    print_annot elt.annot

(* I don't care about printing the annotation *)
let f (elt : _ elt) =
  Format.printf
    "%a"
    elt_printer elt

这是编译器在elt_printer调用中使用fprintf̀返回的内容:

This expression has type
         ?print_annot:'a printer -> Format.formatter -> 'a elt -> unit
       but an expression was expected of type Format.formatter -> 'b -> unit

我相信打字机设法推断出'b = 'a elt,但无法放弃可选参数。

关于此行为,我有两个问题:

  1. 第二个例子是打字机的预期行为吗?

  2. 如果没有,是否存在禁止使用带有可选参数的函数的标准语法?例如,在第一个示例中,有没有办法禁止将f1̀用作f2的参数?

谢谢。

编辑: 通过显式声明elt_printer的类型,可以强制键入let f (elt : _ elt) = Format.printf "%a" (elt_printer : _ printer) elt

AddForce()

编辑2: 对于带标签的参数,由于必须为参数提供特定的名称,因此键入程序严格阻止键入转换。这不是我的问题。

1 个答案:

答案 0 :(得分:3)

  1. 是的,这是预期的,不能将函数?foo -> bar -> baz转换为bar -> baz的函数。它只能在没有foo的情况下应用,这与隐式转换有很大区别

  2. 有太多解决办法

首先,您可以“不应用”标签:f ?print_annot:None将通知打字员应将print_annot的参数f视为不存在。

第二,这是我用于tyxml(see here)的技术,您可以添加一个单位参数:

val pp : 
  ?encode:(string -> string) ->
  ?indent:bool ->
  ?advert:string ->
  unit -> 
  Format.formatter -> doc -> unit

然后用户将具有如下代码:

let s = Format.asprintf "%a" (Tyxml.Html.pp ()) my_html