型の紹介 型の基礎 関数の型 整数の除算、商、div関数
入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT2(型の紹介)、LESSON11(型の基礎)、11.2(関数の型)のクイックチェック 11-1の解答を求めてみる。
コード
halve :: Integral a => a -> a
halve n = div n 2
p :: (Show a, Integral a) => a -> IO ()
p n = print $ "halve " ++ show n ++ ": " ++ show (halve n)
main :: IO ()
main = do
mapM_ p [-10 .. 10]
入出力結果(Terminal, Zsh)
% runghc sample01.hs
"halve -10: -5"
"halve -9: -5"
"halve -8: -4"
"halve -7: -4"
"halve -6: -3"
"halve -5: -3"
"halve -4: -2"
"halve -3: -2"
"halve -2: -1"
"halve -1: -1"
"halve 0: 0"
"halve 1: 0"
"halve 2: 1"
"halve 3: 1"
"halve 4: 2"
"halve 5: 2"
"halve 6: 3"
"halve 7: 3"
"halve 8: 4"
"halve 9: 4"
"halve 10: 5"
%