为什么列出monad按顺序组合？

Question

我正在阅读列表monad并遇到:

[1,2] >>= \n -> ['a','b'] >>= \ch -> return (n,ch)  

它产生

[(1,'a'),(1,'b'),(2,'a'),(2,'b')]

这是我理解的方式:

隐含括号是:

([1,2] >>= \n -> ['a','b']) >>= (\ch -> return (n,ch))

([1,2] >>= \n -> ['a','b']) 应该给 [('a',1),('b',1),('a',2),('b',2)]

因为

instance Monad [] where  
  return x = [x]  
  xs >>= f = concat (map f xs)   -- this line
  fail _ = []

所以concat (map f xs)是concat (map (\n -> ['a','b']) [1,2])应当产生[('a',1),('b',1),('a',2),('b',2)]-实际输出的正好相反.

然后我不明白>>= (\ch -> return (n,ch))部分 - 我认为n这里没有任何意义.那个具体的推理是有缺陷的,你能解释一下这个表达式([1,2] >>= \n -> ['a','b'] >>= \ch -> return (n,ch))是如何逐步计算的吗？

Answer 1

你隐含的括号是错误的.你拥有它的方式,n第一个lambda 的参数不在范围内return.它更像是:

([1,2] >>= (\n -> ['a','b'] >>= (\ch -> return (n,ch))))

哪个成了:

concatMap (\n -> concatMap (\ch -> [(n,ch)]) ['a','b']) [1,2]