Question

在ghci中，您可以使用type directive找到任何表达式的类型。

例如，如果我想找出\ f g h -> g (h f)的类型，我可以在ghci解释器中使用这样的指令：

Prelude> :t \ f g h -> g (h f)
\ f g h -> g (h f) :: t2 -> (t1 -> t) -> (t2 -> t1) -> t

OCaml是否有相同的效果？

Answer 1

您可能会发现utop顶级对此有用。它是标准OCaml顶级的增强版本，但有：

交互式使用的更明智的默认值（启用短路径）
自动评估一些顶级monad，例如Lwt或Async I / O（因此输入int Deferred.t或int Lwt.t将返回顶层的int）
交互式历史记录和模块完成以及所有编辑器的善良。

有两种方法可以找到某种东西。对于值，只需将表达式输入到顶层：

$ utop
# let x = 1 ;;
val x : int = 1
# x ;;
- : int = 1

这适用于值，但不适用于类型定义。 utop（1.7+）也有一个#typeof指令，可以为你打印出来。

$ utop
# #typeof Unix.sockaddr
type Unix.sockaddr = ADDR_UNIX of string | ADDR_INET of Unix.inet_addr * int
# #typeof ref
type 'a Pervasives.ref = { mutable contents : 'a; }

（最后一个显示ref引用类型只是具有单个可变contents字段的字段的语法糖。

快速转储模块定义的另一个常见技巧是将其别名为新模块。

$ utop
# module L = List ;;
module L : sig
  val hd : 'a list -> 'a
  val tl : 'a list -> 'a list
  val nth : 'a list -> int -> 'a
  <etc>

您可以通过opam install utop快速安装utop。我们建议在Real World OCaml中将其作为新手的首选交互式编辑器，而不是vanilla OCaml toplevel。

Answer 2

只需将函数输入OCaml解释器，其类型就会自动显示

# fun f g h -> g (h f);;
- : 'a -> ('b -> 'c) -> ('a -> 'b) -> 'c = <fun>

在OCaml中，ghci的类型指令相当于什么？

2 个答案: