計算機科学のブログ

型の紹介 - 型の基礎 - 型変数 - foldl、型シグネチャ

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)の UNIT2(型の紹介)、LESSON 11(型の基礎)、11.5(練習問題)、Q11-3の解答を求めてみる。

コード

sample.hs

main :: IO ()
main = do
  print $ myFoldl (+) 0 []
  print $ myFoldl (+) 0 [1]
  print $ myFoldl (+) 0 [1 .. 10]
  print $ myFoldl (*) 1 []
  print $ myFoldl (*) 1 [2]
  print $ myFoldl (*) 1 [1 .. 10]

myFoldl :: (a -> b -> a) -> a -> [b] -> a
myFoldl f init [] = init
myFoldl f init (x : xs) = myFoldl f newInit xs
  where
    newInit = f init x

入出力結果(Terminal, Zsh)

% runghc sample.hs
0
1
55
1
2
3628800
%