用MonadPlus进行错误处理

Question

在尝试学习Haskell的时候又被困住了。我想要做的是为具有错误处理的列表实现一个组合的head/tail方法。签名必须如下所示：

head' :: MonadPlus m => [a] -> m (a,[a])

然而，我对MonadPlus的错误处理方式有点迷茫。我尝试了以下几点：

head' xs = if (length xs > 0) then Just(head xs, tail xs) else Nothing

但它抱怨:预期类型:m (a，a)实际类型:可能(a，a)。只是为了好玩我也试过：

head' xs = if (length xs > 0) then Just(head xs, tail xs) else Nothing `mplus` Nothing

但这不仅显得多余，而且也不起作用。

任何暗示都很感激！

Answer 1

试试这个：

head' :: MonadPlus m => [a] -> m (a,[a])
head' xs = if null xs then mzero then return (head xs, tail xs)

mzero是"nothing“或(实际上)”零“值，您可以在这里使用它来建模没有结果的情况。它对任何类型的m x和带有零m的monad都有类型，因此适合这里。

相反，return将任何值封装在任何单一的目录中。特别是，您可以将我们的(a,[a])对插入到m中。(这甚至不要求monad成为MonadPlus)

注意，在上面的代码中，我们没有提到任何特定的monad:代码确实是通用的，因此它可以与任何MonadPlus一起工作。

最后，我使用null而不是length ... > 0，因为null只检查列表中的第一个构造函数，而length ... > 0必须遍历所有构造函数。

实际上，您可以通过切换到模式匹配来删除检查：

head' :: MonadPlus m => [a] -> m (a,[a])
head' []     = mzero
head' (x:xs) = return (x, xs)