哈斯克尔。为什么它在工作？（对 Monad 的迭代）答案

【问题标题】：Haskell. Why it is working? (Iteration over Monad)哈斯克尔。为什么它在工作？（对 Monad 的迭代）
【发布时间】：2015-12-09 12:52:16
【问题描述】：

liftMM :: Monad m => (a -> b) -> m a -> m b
liftMM f m = m >>= \a -> return (f a)

我跑：

> liftMM (*2) [1..10]

我得到了输出：

> [2,4,6,8,10,12,14,16,18,20]

我看不到这个函数是如何映射所有列表的值的？没有任何递归或迭代，只需将 monad 内部 m 值传递给函数 f。我在这里缺少什么？

【问题讨论】：

【解决方案1】：

m 这里是[] 和liftMM 通过委托(>>=) 和return 为m 的实现而工作。因此，您需要了解(>>=) 和return 的列表，如果您查看definition，它们是：

instance Monad []  where
    xs >>= f            = [y | x <- xs, y <- f x]
    return x            = [x]

所以对于源列表中的每个元素>>= 应用f，然后将返回列表的每个元素插入到结果列表中。

return x 只返回一个包含x 的单例列表，所以return (f a) 返回一个列表[f a]。然后由(>>=) 组合这些单个元素列表中的每一个以创建输出列表。

【讨论】：

【解决方案2】：

列表是monad，因此给定地图的签名：

map :: (a->b) -> [a] -> [b]

以及 liftMM 的签名

liftMM :: Monad m => (a -> b) -> m a -> m b

[] 是m

这意味着 for 列表 liftMM 和 map 做同样的事情。

【讨论】：