類型聲明[[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]類型。