haskell - F#交互命令对应ghci :t :i

Question

我正在通过 F# interactive 学习 F#。

是否有类似 GHCi :t、:i 的命令？

• :t value 显示值的类型。
• :i type 显示类型的顶级声明。

引用:fsharp-interactive

Answer 1

在 F# Interactive 中，您只需编写函数名称即可查看其类型。例如，如果您想查看 id、string 或 List.map 的类型，只需编写它们:

> id;;
val it : ('a -> 'a)

> string;;
val it : (obj -> string) = <fun:it@6-3>

> List.map;;
val it : (('a -> 'b) -> 'a list -> 'b list)

这为您提供了类似于 GHCi 中的 :t 的功能。

我不知道有任何命令对应于 :i，尽管我承认它很有用。