我正在阅读《Real World OCaml》一书,但该书中的代码有误。由于我在GitHub上没有看到有关图书问题的任何活动,因此我想在这里问您。这是问题所在:
let log_entry maybe_time message =
let time = match maybe_time with
| Some x -> x
| None -> Time.now ()
in
Time.to_sec_string time ^ " -- " ^ message
;;
错误是下一个错误:
Error: This expression has type zone:Core.Zone.t -> string but an expression was expected of type string
据我了解,这与打电话有关
Time.to_sec_string时间
在较早版本的Core库中,该to_sec_string
函数具有以下接口:
(** [to_sec_string t] Same as to_string, but without milliseconds *)
val to_sec_string : t -> string
在某些时候,他们更改了其界面,现在
(** Same as [to_string_abs], but without milliseconds *)
val to_sec_string : t -> zone:Zone.t -> string
也就是说,现在这是一个带有两个参数的函数。第一个仍然是type的值Time.t
,但是第二个是带标签的类型的参数,Zone.t
用于指定时区。与常规位置参数不同,带标签的参数可以在任意位置传递给函数,因此您无需记住参数的顺序。通常的发票如下所示:
let s = Time.to_sec_string time ~zone:Time.Zone.local
这里Time.Zone.local
是一个时区对象,代表您的本地时区。由于它是带标签的参数,因此您还可以像下面这样调用函数:
let s = Time.to_sec_string ~zone:Time.Zone.local time
而且,由于此处的两个参数具有不同的类型,因此OCaml甚至可以在不使用标签的情况下猜测谁是谁,因此您可以使用位置参数:
let s = Time.to_sec_string time Time.Zone.local
最后,Core中的大多数类型都具有该接口的to_string
功能。因此,更简单的解决方法是使用而不是to_sec_string
。不过,它的格式略有不同,但较为冗长:
Time.to_string time ^ " -- " ^ message
本文收集自互联网,转载请注明来源。
如有侵权,请联系[email protected] 删除。
我来说两句