haskell - 类型声明 [[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”返回一个函数列表。并且这些函数中的每一个都接受一个整数列表并返回一个整数。