Types 显示带有原因的类型和值

OCaml REPL显示任何表达式的值和类型。例如，评估：

let rec map f = function
    | [] -> []
    | x::l -> f x :: map f l;;

给出：

val map : ('a -> 'b) -> 'a list -> 'b list = <fun>

---

不显示任何类型，并且我不确定是否存在REPL for Reason。

rtop

是随

Reason cli

附带的顶级（OCaml行话中的REPL），它实际上只是

utop

的一个薄包装。它将按如下方式打印类型：

let map: (('a) => 'b, list('a)) => list('b) = <fun>;

let map:（（'a）=>'b，list（'a））=>list（'b）=；

在VSCode中，merlin还将在每个绑定上方显示的“CodeLens”中为您提供let绑定的类型

---

谢谢，我刚刚玩了TryReason，在谷歌上搜索了“Reason REPL”。应该会成功。

let map: (('a) => 'b, list('a)) => list('b) = <fun>;