레코드 구문을 사용하지 않고 MonadState 클래스를 구현하는 방법은 무엇입니까?

Question

나는 어려운 나를 MonadState을 이해하기 위해 찾을 수 있습니다.

이유는 어쩌면 자신의 데이터 구조에 기록 구문과 함께 혼합 대부분의 예제.

그래서 레코드 구문을 사용하지 않고 MonadState을 구현하려고했습니다.

내가 쓴 다음 코드는 컴파일러를 통과했지만 그것은 나에게 완전히 말도 안되는 것 같습니다.

는이 코드에 어떤 문제가 있습니까?

레코드 구문을 사용하지 않고 MonadState을 구현하는 간단한 예제가 있습니까?

data Foo a b = Foo (Maybe ([a],b)) deriving (Show) 

unwrapFoo :: Foo a b -> Maybe ([a],b) 
unwrapFoo (Foo x) = x 

instance Monad (Foo [a]) where 
    return x = Foo $ Just ([], x) 
    m >>= f = case unwrapFoo m of 
       Just (_, r) -> f r 
       Nothing  -> Foo Nothing 

instance MonadState Int (Foo [a]) where 
    get = Foo $ Just ([], 1)  
    put _ = Foo $ Just ([],()) 


*Main> get :: Foo [a] Int 
Foo (Just ([],1)) 
*Main> put 3 :: Foo [a]() 
Foo (Just ([],())) 
*Main> 

Answer 1

그럼 상태 모나드의 기본 아이디어부터 살펴 보겠습니다.

newtype MyState s a = MyState (s {- current state -} 
          -> (s {- New state -}, a {- New value -})) 

unwrap (MyState f) = f 

그래서 지금 우리는 >>= 및 return를 구현해야합니다.

return은 매우 간단합니다 : 즉

return a = MyState $ \s -> -- Get the new state 
        (s, a) -- and pack it into our value 

, 이것은 단지 새로운 값을 통해 현재 상태를 전달합니다.

그리고 지금 >>=

(MyState f) >>= g = MyState $ \state -> 
    let (newState, val) = f state 
     MyState newF = g val 
    in newF state 

그래서 우리는 g로 결과 값/상태 쌍을 통과, 기존 상태 모나드로 공급하고 그 결과를 반환, 새로운 상태를 가져옵니다. 이 및 기록 구문의 차이의

총 수는 내가 수동으로 unwrap을 정의했다 단지이다.

무슨 잘못 것은 당신이 정말 의미있는`MonadState` 인스턴스를 구현할 수 있도록 국가 FUL 데이터가 여기 입력하지 않아도 우리의 모나드

runState = unwrap 

get = MyState \s -> (s, s) 
put a = MyState \s -> (a,())