将 OCaml 字符串转换为 format6

以下代码无法编译：

let x = "hello" in
Printf.printf x

错误是：

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

1）有人可以解释一下错误消息吗？

2）为什么不能将字符串传递给 printf ？

printf 的第一个参数必须是类型('a, out_channel, unit) format不是字符串。字符串文字可以自动转换为适当的格式类型，但字符串通常不能。

原因是格式字符串的确切类型取决于字符串的内容。例如表达式的类型printf "%d-%d"应该int -> int -> ()而类型printf "%s"应该string -> ()。显然，当编译时不知道格式字符串时，这种类型检查是不可能的。

在你的情况下你可以这样做printf "%s" x.