型の紹介 - 型クラス - Enum, Bounded, インスタンス、Int型、succ関数
入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)の UNIT2(型の紹介)、LESSON 13(型クラス)、13.8(練習問題)、Q13-2の解答を求めてみる。
コード
sample.hs
main :: IO ()
main = do
print $ inc (maxBound :: Int) + 1
-- succ はmaxBoundではerrorになるにマイナスのIntにはならない
print $ succ (maxBound :: Int)
inc :: Int -> Int
inc x = x + 1
入出力結果(Terminal, Zsh)
% runghc sample.hs
-9223372036854775807
sample.hs: Prelude.Enum.succ{Int}: tried to take `succ' of maxBound
%