我想写一个类型为
的函数g :: CSP - ＆gt;作业 - ＆gt; Var - ＆gt; [Int] - ＆gt; CSP
将原始函数应用于列表[Int]中的所有元素。每次应用CSP时，都应更新传递的f，Assigment将与Var保持一致。我很确定我需要使用折叠，但我真的不理解它们。如果有人可以帮助我，也许可以尝试解释折叠，我真的很感激。
答案 0 :(得分：2)
你说你已经解决了，但以防万一：
g c a v is = foldl (\c i -> f c a v i) c is