函数fmap是A到B的映射,
fmap :: A -> B
freduce是A和B到A的映射,
freduce :: A -> B -> A
feach是A到空的映射,
feach :: A -> Unit
[A]代表A类型元素的集合,那么:
map: fmap -> [A] -> [B]
即从A类型的集合映射到B类型的集合
foreach: feach -> [A] -> [Unit]
即在A类型的集合上对每一个元素做同样的操作
reduce: freduce -> A -> [B] -> A
即用一个初始值,一个reduce函数和一个B类型的集合,通过不断的“折叠”,最后得到结果,形象的讲是:
freduce(A0, B1) -> A1
freduce(A1, B2) -> A2
...
reduce也叫做fold