如何解决在复合 StateT/Maybe monad 中,如何取任何一种成功的可能性?
在 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
函数进入我的单子?
解决方法
如果我正确理解问题,我认为这个函数已经存在:<|>:
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
的默认实现是 <|>
。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。