类型声明[[Integer] - ＆gt;整数]

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]类型。