Elm:如何找出 Elm 表达式或 elm-repl 中的子表达式的类型?
Elm: How can I find out the type of an Elm expression or a subexpression in elm-repl?
如何在 elm-repl 中找出 Elm 表达式或子表达式的类型?
Haskell 的 :type
或 :t
在 Elm REPL 中是否等效?
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 开始)会在向您显示类型之前强制对表达式求值,这对于昂贵的函数调用来说可能是不可取的.在当前版本中,没有办法解决这个问题。
如何在 elm-repl 中找出 Elm 表达式或子表达式的类型?
Haskell 的 :type
或 :t
在 Elm REPL 中是否等效?
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 开始)会在向您显示类型之前强制对表达式求值,这对于昂贵的函数调用来说可能是不可取的.在当前版本中,没有办法解决这个问题。