状態モナド：値を変更せずに状態を変更する

Question

私は述語pとリストを取る関数を書いています。 は([value],[state])を返します。最初のリストにはpを渡す要素が含まれ、2番目の要素には含まれていない要素が含まれています。私は

runState (myFunc even [1,2,3,4,5]) [] 

を実行したときしかし、私は失敗した要素が誤っ[value]に格納されている([2,4,5,3,1],[5,3,1])を取得します。これは状態と値の両方を更新するgetが原因だと信じていますが、状態を更新して値だけを残す方法を見つけることができませんでした。

myFunc :: (a->Bool) -> [a] -> State [a] [a] 
myFunc _ [] = do 
    a <- get 
    return a 
myFunc p (x:xs) = do 
    if (p x) then do 
     s <- myFunc p xs 
     let ret = (x:s) 
     return ret 
    else do 
     s <- get 
     put(x:s) 
     myFunc p xs 

Answer 1

あなたのmyFunc _ []の定義は実際に値を状態に入れています。あなたは実際にちょうどそれがパスの空のリストになりたい：

myFunc _ [] = return [] 

とあなたはおそらく、その結果を順に返すようにしたい：それはおそらくだにもかかわらず

myFunc :: (a -> Bool) -> [a] -> State [a] [a] 
myFunc _ [] = return [] 
myFunc p (x:xs) = do 
    passes <- myFunc p xs 

    if p x then 
     return (x:passes) 
    else do 
     modify (x:) 
     return passes 

側クールな方法は、それを書くために状態での運動やpartitionすでに存在している、

import Data.Bifunctor 

partition f = foldr m ([], []) 
    where m x = (if f x then first else second) (x:)