0
我將如何應用下面的代碼片段的類型註釋?注意:e和r是列表樹的。Elm:讓綁定和鍵入註釋與元組
let
{--what is the type annotation here for the tuple (e, r)?--}
(e, r) = List.partition (\(Node a _) -> a == (toString c)) lt
in....
我將如何應用下面的代碼片段的類型註釋?注意:e和r是列表樹的。Elm:讓綁定和鍵入註釋與元組
let
{--what is the type annotation here for the tuple (e, r)?--}
(e, r) = List.partition (\(Node a _) -> a == (toString c)) lt
in....
你在那裏有一個解構語句,並且不能有一個類型註釋。
類型註釋用於指定的函數或值。例如:
plus : Int -> Int -> Int
plus = (+)
year : Int
year = 2017
您的解構(e, r)
不是一個命名函數。它僅在範圍e
和r
中引入了兩個新值。
所以,如果我們使用模式匹配(在讓綁定)來破壞某些東西,然後鍵入註釋不可用。好。謝謝。 – G4143