Elm:如何在 elm-repl 中找出 Elm 表达式或子表达式的类型？

Question

如何在 elm-repl 中找出 Elm 表达式或子表达式的类型？

Haskell 的 :type或 :t相当于 Elm REPL 吗？

Answer 1

Elm REPL 会自动打印您输入的任何类型。例如:

> "foo"
"foo" : String
> f = \a b c -> (a + 1, b ++ "!", c || False)
<function> : number -> String -> Bool -> ( number, String, Bool )
> f
<function> : number -> String -> Bool -> ( number, String, Bool )
> f2 a b c = (a + 1, b ++ "!", c || False)
<function> : number -> String -> Bool -> ( number, String, Bool )

正如@amalloy 指出的那样，没有相当于 GHCi 的 :type命令，Elm REPL(从 0.18 开始)在向您显示类型之前强制评估表达式，这对于昂贵的函数调用可能是不受欢迎的。在其当前版本中，没有办法解决这个问题。