-2

嘿还有另一个haskell问题我有一个f类型的函数 :: CSP -> 赋值 -> Var -> Int -> CSP

我想用类型写一个函数

g :: CSP -> 赋值 -> Var -> [Int] -> CSP

它将原始函数应用于列表中的所有元素[Int]。它传递的CSP应该在每次f应用时更新，Assigment将与Var. 我很确定我需要使用折叠，但我真的不明白它们。如果有人可以帮助我并尝试解释折叠，我将非常感激。

4

1 回答 1

2

你说你已经解决了，但以防万一：

g c a v is = foldl (\c i -> f c a v i) c is
于 2012-02-25T21:32:16.023 回答