ocaml - 如何请求变量的类型类？

Question

我正在尝试学习 ReasonML，并且我正在做一些 koans 来帮助我完成这项任务。我尝试编写的其中一个 koans 是关于在将列表转换为数组后询问列表的类型。我知道在某些语言中有运算符，例如 Haskell (:t)，我们可以在其中询问变量的类型。 ReasonML 是否有任何等同于 :t 的东西？或者检查 Array.of_list 是否返回数组是没有意义的，因为编译器确保...

Answer 1

我不太了解 Reason，但是 utop(改进的 OCaml REPL)提供了 #typeof 指令来检查表达式的类型:

let a = 42;;
val a : int = 42

#typeof "a";;
val a : int

请注意，这只是一个 REPL 工具。在 OCaml 中，类型在运行时不可用:它们在编译期间被剥离。您可以了解更多有关 OCaml 编译过程的信息 here .

---

正如 @Rizo 指出的那样在注释中，还有 #show 指令，它甚至在标准 OCaml REPL 中可用:

let a = 43;;
val a : int = 43

#show a;;
val a : int