計算機科学のブログ

型の紹介 - 型の基礎 - 関数の型 - div関数、型シグネチャ

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)の UNIT2(型の紹介)、LESSON 11(型の基礎)、11.2(関数の型)、クイックチェック 11-1の解答を求めてみる。

コード

sample1.hs

main :: IO ()
main = do
  print $ map halve [1 .. 10]
  print $ map halve1 [1 .. 10]

halve :: Integer -> Integer
halve n = div n 2

halve1 :: Integer -> Integer
halve1 n = n `div` 2

入出力結果(Terminal, Zsh)

% runghc sample1.hs 
[0,1,1,2,2,3,3,4,4,5]
[0,1,1,2,2,3,3,4,4,5]
%