2

我发现我很难理解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>
4

1 回答 1

4

因此，让我们从 State Monad 的基本概念开始。

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

unwrap (MyState f) = f

所以现在我们需要实现>>=and 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的。

完成我们的单子

runState = unwrap

get = MyState \s -> (s, s)
put a = MyState \s -> (a, ())
于 2013-05-13T14:32:18.240 回答