有没有办法阻止Haskell抱怨这个类型不明确?

时间:2017-01-16 15:25:16

标签: haskell

  first_forward_pass =
    L.scanl' (L.foldl' fill_knapsack_without_parent_pointers)

* Ambiguous type variable `t0' arising from a use of L.foldl'
  prevents the constraint `(Foldable t0)' from being solved.

编译器说它要我指定L.fold'的类型,这很烦人。在编写内容时,我不能为每个小东西指定类型,所以我可以打开一些扩展,这样就可以推迟解决类型类约束,直到实际需要它为止?

编辑:我现在看到,一旦我将它与列表一起使用,它就会将[[(Int,Int)]]的第二个参数专门化,即使没有类型注释也是如此。我认为它最终会成为通用[t(Int,Int)]。

0 个答案:

没有答案