Какой грязный хак :)

[deniok]

suminit :: [Int] -> Int -> Int -> (Int,[Int]) 
suminit xs len acc | len `seq` acc `seq` False = undefined -- :)))
                   | len == 0  = (acc,xs) 
                   | otherwise = case xs of []   -> (acc,[]) 
                                            x:xs -> suminit xs (len-1) (acc+x)

Найдено тут.

Comments

[asviraspossible.livejournal.com]

Это же честные bang-patterns. Возможно не самый плохой стиль для Haskell98 :)

[deni-ok.livejournal.com]

Угу, только выглядит как-то уродливо...

[rvp74.livejournal.com]

suminit' :: [Int] -> Int -> Int -> (Int,[Int]) 
suminit' xs !len !acc | len == 0  = (acc,xs) 
                      | otherwise = case xs of []   -> (acc,[]) 
                                               x:xs -> suminit' xs (len-1) (acc+x)

Наверное, это тоже самое, но с сахаром. :)

[deni-ok.livejournal.com]

Да, это упомянутый выше bang-patterns. GHC-ное расширение.