haskell - 列表上的应用仿函数

Question

我了解以下将是:

[(+2),(+1)]<*>[1,2,3] == [3,4,5,2,3,4]

我也明白 fmap实现为 map .但是我怎么能在脑海中映射这个计算呢？我第一次看到这个我假设如下:

[(*2),(+1)]<*>[1,2,3] == [4,5,6]

我第二次想到: [[3,4,5],[2,3,4]] .但另一方面 <*>返回 f b所以我知道这是不可能的。所以我的问题是，有什么心理步骤可以理解这一点？

Answer 1

fs <*> xs或多或少[f x | f <- fs, x <- xs] . Monads 有 Applicative 实例

fM <*> xM = do 
  f <- fM
  x <- xM
  return (f x)

这直接对应于列表理解。