計算機科学のブログ

型の紹介 型クラス 型クラスの派生 順序、Eq、Ord、カスタム型

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT2(型の紹介)、LESSON13(型クラス)、13.6(型クラスの派生)、クイックチェック 13-3の解答を求めてみる。

コード

data Iceream = Chocolate | Vanilla deriving (Eq, Ord)

-- 左が最も小さく順に大きくなる
main = do
  print $ Chocolate < Vanilla -- True
  print $ Chocolate > Vanilla -- False

入出力結果(Terminal, Zsh)

% runghc sample03.hs 
True
False
%