为什么这个带有 Printf.printf 的简短 OCaml 片段不起作用？

Question

我是 OCaml 新手。我正在玩“hello world”类型的 sn-ps 并遇到了这种情况。 这是一个带有一些额外 cmets 的解释器会话：

# let average a b = 
  (a +. b) /. 2.;;
val average : float -> float -> float = <fun>
# average 1. 4.;;
- : float = 2.5
# string_of_float (average 1. 4.);;
- : string = "2.5"

(* this fails...*)
# let _ = Printf.printf (string_of_float (average 1. 4.));;
Error: This expression has type string but an expression was expected of type
         ('a, out_channel, unit) format =
           ('a, out_channel, unit, unit, unit, unit) format6

(* yet this works *)
# "hello!";;
- : string = "hello!"
# let _ = Printf.printf "hello!";;
hello!- : unit = ()

(* another failed attempt *)
# let s = string_of_float (average 1. 4.);;
val s : string = "2.5"
# s;;
- : string = "2.5"
# let _ = Printf.printf s;;
Error: This expression has type string but an expression was expected of type
         ('a, out_channel, unit) format =
           ('a, out_channel, unit, unit, unit, unit) format6

(* and this also works?? *)
# let _ = Printf.printf "2.5";;
2.5- : unit = ()

所以情况就是这样。 string_of_float (average 1. 4.) 返回一个字符串， 就像"hello!" 一样。当我将"hello!" 输入Printf.printf 时，它可以工作 正如预期的那样。当我将string_of_float (average 1. 4.) 给Printf.printf 它失败并告诉 我预期的不是字符串，而是其他奇怪的类型。但是为什么"hello!" 和"2.5" 会起作用呢？

发生了什么事？

Answer 1

OCaml 中有一种字符串字面量含义的“重载”。在编译时，它们可以被解释为字符串，也可以被解释为格式（在类型系统中它们是完全不同的东西），这取决于类型检查器的想法。如果它决定它应该是一种格式，那么在编译时直接解析格式字符串（这就是它能够在编译时对 printf 的参数进行类型检查的原因）。 （与 C 不同，它在运行时解析字符串。）但是，没有简单的方法可以在运行时将字符串转换为格式。因此，当您看到 Printf.printf "2.5" 时，“2.5”实际上不是字符串，而是在编译时解析的特殊格式类型。这就是为什么你不能用一个字符串代替它。

在不相关的注释中，如果您只想打印一个字符串，您可能需要使用print_string（或者如果您想要换行符，则使用print_endline）。

Answer 2

Printf.printf "%s" anyStringExpr

会起作用。 printf 的第一个参数有点神奇。 （其他人会填写详细信息。）