类型声明[[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]类型.