「廣義」 scanl

Question

我想寫一種scanl的樣型功能：

general_scanl' :: (a->b->a)->(a->b->[c])->a->[b]->[c] 

該功能的目的是輸出一樣以下兩個怪物：

general_scanl' f g x y = snd $ foldl' (\(p,q) r -> (f p r,q ++ g p r)) (x,[]) y 

或，

general_scanl' f g x y = concat $ zipWith g (scanl f x y) y 

第一個定義的缺點是它包含一個手寫lambda。
第二個定義的缺點是，它積累名單（scanl˚Fx和y），這是沒有必要的名單...

我的問題：是有定義此功能的更清潔的方式？

非常感謝，

Answer 1

你

Prelude> let general_scanl2 f g z xs = concat $ zipWith g (scanl f z xs) xs 
--               :: [a] 
Prelude> :t general_scanl2 
general_scanl2 :: (a -> b -> a)  -- f 
        -> (a -> b -> [c]) -- g 
        -> a     -- z 
        -> [b]    -- xs 
        -> [c] 

Prelude Data.List> :t mapAccumL 
mapAccumL :: (a -> b -> (a, y)) -> a -> [b] -> (a, [y]) 

因此，另一種方式來寫這似乎是

import Data.List 

g_scanl3 :: (a -> b -> a) -> (a -> b -> [c]) -> a -> [b] -> [c] 
g_scanl3 f g z xs = concat . snd $ 
         mapAccumL (\a b-> (f a b, g a b)) z xs