Haskell 函数的作用取决于 monad 类型答案

【问题标题】：Haskell function which acts differently depending on the monad typeHaskell 函数的作用取决于 monad 类型
【发布时间】：2017-02-02 14:20:51
【问题描述】：

我正在尝试实现一个通常将列表的第一个元素放入 monad 的函数，但如果 monad 是一个列表，它会返回整个列表：

putInMonad :: MonadPlus m => [a] -> m a
putInMonad (s:sx) = return s
putInMonad _ = mzero

putInMonad [1,2,3] :: Maybe Int

应该返回Just 1，并且

putInMonad [1,2,3] :: [] Int

应该返回[1,2,3]。

有什么想法吗？

【问题讨论】：

【解决方案1】：

在您的特定用例中，您可以利用msum：

putInMonad :: MonadPlus m => [a] -> m a
putInMonad x = msum $ map return x

那么这两个例子都会起作用：

% putInMonad [1,2,3,4] :: Maybe Int
Just 1
% putInMonad [1,2,3,4] :: [Int]
[1,2,3,4]

但请注意，Maybe 并不完全是 MonadPlus，因为 mplus 没有关联性。

【讨论】：

如果 MonadPlus 约束不是 OP 的硬性要求，则可以通过切换到 Alternative 和 asum 来避免任何关于 MonadPlus 的不安/争议。

【解决方案2】：

一般情况下，你不能这样做，因为函数在调用函数时无法知道将使用哪个Foo实例，这意味着它没有决定返回return s或return (s:sx)的依据。

在这种特殊情况下，当Foo 为MonadPlus 时，有一种解决方法（请参阅@marc's answer）。

【讨论】：

等待投票告诉我我在技术上是正确的，还是完全错误的。
您在技术上并不正确，而仅仅是因为有问题的课程是MonadPlus，它提供了marc答案中显示的解决方法。这在一般情况下是不可能的，这仍然值得一提。我建议编辑您的答案以使这种微妙之处清晰和/或指向马克的答案以进行对比。