Question

我正在努力弄清concatMap与=<<运算符的关系。有人可以解释一下原因：

f x = concatMap g $ take 5 $ x

变为

f = (g =<<) . take 5

~~点免费。~~我可以看到concatMap和=<<的类型匹配，但我不明白为什么。

Answer 1

将=<<替换为concatMap与无点无关。

列表的

>>=被定义为concat和map的组合（后者相当于concatMap）：

xs >>= f = concat (map f xs)

当然=<<只是>>=翻转。