使用 MonadPlus 进行错误处理

Question

在尝试学习一些哈斯克尔时再次陷入困境。我正在尝试做的是为具有错误处理的列表实现组合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是"无"或（实际上）"零"值，您可以在此处使用它来模拟没有结果的情况。它具有任何类型x的 m x 型和 monad 零m ，所以它适合这里。

相反，return将任何值包装在任何 monad 中。特别是，您可以将我们的(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)