型の紹介型の基礎リスト、head関数、foldl関数の型シグネチャ

入門Haskellプログラミング
 楽天ブックス
Yahoo!ショッピング
au PAY マーケット

開発環境

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

コード

-- Q11-2
-- 型シグネチャを書き出してみる
-- –– myHead :: [a] -> []
-- myHead [] = []

-- myHead :: [a] -> a
-- myHead (x:_) = x

-- 型が異なるからからのリストを返すheadを作成することはできない

-- Q11-3
myFoldl :: (a -> b -> a) -> a -> [b] -> a
myFoldl f init [] = init
myFoldl f init (x : xs) = myFoldl f (f init x) xs

ns :: [Integer]
ns = [1 .. 10]

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

入出力結果(Terminal, Zsh)

% runghc sample2.hs
1
3628800
0
55
%