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)]。