various-foldls.hs

{-# LANGUAGE BangPatterns #-}

import Control.DeepSeq
import Data.List hiding (foldl)
import Prelude hiding (foldl)

foldl = \f accumulator list ->
  case list of
    [] -> accumulator
    x:xs -> foldlS f (f accumulator x) xs

foldlS = \f (!accumulator) list ->
  case list of
    [] -> accumulator
    x:xs -> foldlS f (f accumulator x) xs
    
foldlS' = \f accumulator list ->
  case force accumulator :: Int of
    accumulator' -> case list of
           [] -> accumulator'
           x:xs -> foldlS f (f accumulator' x) xs
           
foldlS'' = \f accumulator list ->
  case seq accumulator accumulator of
    accumulator' -> case list of
           [] -> accumulator'
           x:xs -> foldlS f (f accumulator' x) xs

main = print "50000005000000"