haskell - 无法理解 Monad >> 应用程序的结果

Question

操作>>说明如下:

Sequentially compose two actions, discarding any value produced by the first, like sequencing operators (such as the semicolon) in imperative languages.

这是让我感到困惑的例子:

> ([1] ++ [2]) >> ([2] ++ [3])
[2,3,2,3]

我期待列表 [2,3] 将是表达式的正确部分的结果。如何解释 [2,3,2,3] 的结果？

Answer 1

(>>)默认定义为

a >> b = a >>= (\_ -> b)

所以被忽略的值是 a在给定的一元值中 m a . >>=的类型专门列出的是:

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

l >>= f调用 f对于列表中的每个元素 l产生一个列表列表，然后将其连接起来。

例如

[1,2] >>= (\i -> [i, -i])
> [1,-1,2,-2]

忽略每个输入元素并返回值 [2,3]将导致列表的 n 个副本 [2,3]对于长度为 n 的输入列表

例如

[1] >>= (\_ -> [2,3])
> [2,3]

[1,2] >>= (\_ -> [2,3])
> [2,3,2,3]

第二个例子等价于 ([1] ++ [2]) >> ([2] ++ [3])在你的问题中。