0

我想使用Logicmonad 来确保错误抛出代码（在 monad 堆栈中，包括ExcepT）在抛出错误时回溯。这是一个简单的例子：

newtype FooT m a = FooT { unFooT :: ExceptT String m a }
  deriving (Functor, Applicative, Monad, MonadTrans, MonadError String, MonadFail)
 

foo :: FooT Logic String
foo = do
  let validate s = if s == "cf" then return s else throwError "err"
  let go = do
        first <- msum (map return ['a', 'b', 'c'])     
        second <- msum (map return ['d', 'e', 'f'])
        traceM $ "Guess: " ++ [first, second]
        validate [first, second]
  go `catchError` const mzero

testfoo :: IO ()
testfoo = do
  let r = observe $ runExceptT $ unFooT foo
  case r of
    Left e -> print $ "Error: " ++ e
    Right s -> print $ "Result: " ++

这不会回溯；它不会产生任何结果。lift (msum ...)我可以通过取消选择操作（即使用而不是现在的普通msum调用）使其回溯。但是，出于各种原因，我希望能够在ExceptTmonad 中编写代码，并且基本上只是将MonadPlus实例从 Logic monad 提升到转换后的版本。我试图在这里编写一个自定义MonadPlus实例来完成此操作：

instance MonadPlus m => MonadPlus (FooT m) where
  mzero = lift mzero
  mplus (FooT a) (FooT b) = lift $ do
    ea <- runExceptT a
    case ea of
      Left _ -> do
        eb <- runExceptT b
        case eb of
          Left _ -> mzero
          Right y -> return y
      Right x -> do
        eb <- runExceptT b
        case eb of
          Left _ -> return x
          Right y -> return x `mplus` return y

相同的代码也适用于该Alternative实例。但是，这实际上并没有帮助。它仍然没有回溯。这个实例有问题吗？有没有更好的方法来解决这个问题？我在尝试做一些没有意义的事情吗？在一天结束时，我总是可以举起所有东西，但宁愿避免这样做。

编辑：一直在搞砸一些。如果我MonadPlus使用上面的实例，则可以使用mplus，但如果像上面那样使用，则无法使用...msum

4

1 回答 1

1

使用MonadPlus/的这个实例Alternative：

instance (Alternative m, Monad m) => Alternative (FooT m) where
  empty = FooT (ExceptT empty)
  FooT (ExceptT a) <|> FooT (ExceptT b) = FooT (ExceptT (a <|> b))

注意：AlternativeandMonadPlus是多余的，所以实现起来更简单Alternative，用.Data.Foldable.asum代替msum.

您实现的那个与已经在的那个并没有太大的不同ExceptT，并且并没有真正使用该Alternative m实例。确保使用(<|>)专门的m来从回溯中受益。

于 2021-01-07T23:01:44.120 回答