使用mtl,派生MonadState似乎可以正确地提升make state操作:import Control.Applicative(Applicative)import Control.Monad.State (MonadState,evalStateT, modify, StateT, gets)
data State = State { int:: I
我对haskell中的monads非常陌生,我正在尝试用monads ny创建一些实例来发展我的知识,但我真的对这个很困惑,我收到了一些错误,并且已经在它上了一段时间,因为我仍然不确定是否有任何帮助和解释是值得感谢的st = b st
return :: b -> ST b
return x = S (\st -> (x, st)) the new state