types - f# 表达式的类型

Question

我正在寻找一种方法来找出f#表达式的类型。类似于Haskell's type函数的东西。

标签： typesf#

Answer 1

IDE：像 VS & VS Code (+ Ionide) 可以帮助你。否则，我所做的是将表达式分配给明显无效的绑定，例如：

let x : unit = <the_expression>

编译器将失败并告诉您它发现的与单元不匹配的内容。如果编译器没有失败，则_表达式为单位。我认为_在 haskell 中不会有类似的东西来询问编译器“你对这里有什么期望？”。