爲什麼Haskell標準庫中沒有scanl函數？

Question

foldl功能附帶嚴格的模擬foldl'。 scanl是不是需要scanl'替代方案，還是沒有將它包含在標準庫中？

Answer 1

不需要它。 foldl'的嚴格性允許它在遍歷輸入列表時立即消除thunk。

foldl' (+) 0 [1,2,3]   foldl (+) 0    [1,2,3] 
foldl' (+) 1 [2,3]    foldl (+) (0 + 1)   [2,3] 
foldl' (+) 3 [3]    foldl (+) ((0 + 1) + 2)  [3] 
foldl' (+) 6 []    foldl (+) (((0 + 1) + 2) + 3) [] 
6          (((0 + 1) + 2) + 3) 
              ((1 + 2) + 3) 
              (3 + 3) 
              6 

但是，當你這樣做scanl它產生含有這些步驟

scanl (+) 0 [1,2,3] 
[ 0 
, 0 + 1 
, (0 + 1) + 2 
, ((0 + 1) + 2) + 3 
] 

而且你必須遍歷整個列表，看看最後的結果，它可以讓您控制的thunk如何強制每一個列表。這將評估的控制推向列表的消費者。

Answer 2

嗯，我不知道，如果scanl'不需要，但它可能是一個比foldl'非常罕見的需要，因爲你通常消耗的元素scanl元素的結果，因而迫使它作爲你走就像foldl'一樣。