榆树:我如何在elm-repl中找出Elm表达式或子表达式的类型?

时间:2018-04-30 15:38:13

标签: elm

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

Haskell在Elm REPL中的:type:t等价物?

1 个答案:

答案 0 :(得分:8)

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开始)强制在显示类型之前评估表达式,这对于昂贵的函数调用可能是不合需要的。在目前的版本中,没有办法解决这个问题。