在 Haskell 中,这是一个结合了 State 和 Maybe monad 的 monad:
type StatefulMaybe a = StateT Int Maybe a
这是一个可以成功(返回值)或失败的计算。如果成功,它会携带一个状态以及返回值。我想写一个函数
choice :: StatefulMaybe a -> StatefulMaybe a -> StatefulMaybe a
它需要两次这样的计算并返回成功的第一个(如果有的话)。只有成功计算的状态变化才会被结转。事实上,经过一些实验,我想出了如何写这个。这里是:
orMaybe :: Maybe a -> Maybe a -> Maybe a
orMaybe (Just x) _ = Just x
orMaybe Nothing x = x
choice :: StatefulMaybe a -> StatefulMaybe a -> StatefulMaybe a
choice mx my = StateT (\s ->
(runStateT mx s) `orMaybe` (runStateT my s)
)
有用:foo :: StatefulMaybe String
foo = do
modify (+ 20)
fail "didn't succeed"
baz :: StatefulMaybe String
baz = do
modify (+ 30)
return "two"
bar :: StatefulMaybe String
bar = do
s <- choice foo baz
return (s ++ " done")
> runStateT bar 0
Just ("two done",30)
我的问题是:有没有比我上面的实现更简单或更自然的方法来编写这个选择函数? 特别是,有什么方法可以解除orMaybe
功能进入我的单子(monad)?
最佳答案
如果我正确理解了这个问题,我认为这个功能已经存在:<|> :
bar :: StatefulMaybe String
bar = do
s <- foo <|> baz
return (s ++ " done")
<|>
函数是 Applicative
的一部分类型类,其中StateT
是内部 monad 都是 Functor
的实例和 MonadPlus
实例,对于 Maybe
是正确的.*Q66992923> runStateT bar 0
Just ("two done",30)
正如 luqui 在评论中建议的那样,我认为 mplus
应该也可以,因为 mplus
的默认实现是 <|>
.
关于haskell - 在复合 StateT/Maybe monad 中,如何采取任何一种成功的可能性?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/66992923/