榆树：让绑定并用元组键入注释

Question

如何为下面的代码段应用类型注释？注意：e和r是List Tree的。

let
  {--what is the type annotation here for the tuple (e, r)?--}
  ( e, r ) = List.partition (\(Node a _) -> a == (toString c)) lt
in....

Answer 1

你所拥有的是一个解构声明，并且不能有类型注释。

类型注释适用于命名函数或值。例如：

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

year : Int
year = 2017

(e, r)的解构不是命名函数。它只是为范围引入了两个新值e和r。