类型声明[[Integer] - > Integer]

Question

我正在学习haskell并看到了函数组合。 尝试复合map和foldl

mapd = (map.foldl)

比

test = (mapd (\x y -> x + y ) [1,2,3,4])

测试类型是

test :: [[Integer] -> Integer]

那么这种类型的声明是什么意思呢？

Answer 1

这意味着您的函数“test”返回一个函数列表。 并且每个函数都采用整数列表并返回一个整数。

Answer 2

test 
= mapd (\x y -> x + y ) [1,2,3,4]
= mapd (+) [1,2,3,4]
= (map . foldl) (+) [1,2,3,4]
= map (foldl (+)) [1,2,3,4]
= [ foldl (+) 1
  , foldl (+) 2
  , foldl (+) 3
  , foldl (+) 4 ]

结果是一系列功能。 第一个函数采用整数列表，并从1开始对其求和。 第二个是类似的，但从2开始。 等等剩下的功能。

正如fgv已经说过的，这是从整数列表到整数的函数列表，因此是[[Integer] -> Integer]类型。