ちょっとそこに別のhaskellの質問があります私はタイプfの関数を持っています::CSP->代入->変数->整数->CSP
タイプの関数を書きたい
g::CSP->割り当て->変数->[Int]->CSP
これは、元の関数をリスト内のすべての要素に適用します[Int]。渡されたものは、適用さCSPれるたびに更新する必要があります。は、と同じままです。フォールドを使用する必要があると確信していますが、実際には理解できません。誰かが私を助けてくれて、ひだを説明してくれたら本当にありがたいです。fAssigmentVar