2017-04-21 47 views
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.... 

回答

4

你在那裏有一個解構語句,並且不能有一個類型註釋。

類型註釋用於指定的函數或值。例如:

plus : Int -> Int -> Int 
plus = (+) 

year : Int 
year = 2017 

您的解構(e, r)不是一個命名函數。它僅在範圍er中引入了兩個新值。

+0

所以,如果我們使用模式匹配(在讓綁定)來破壞某些東西,然後鍵入註釋不可用。好。謝謝。 – G4143