計算機科学のブログ

型によるプログラミング 直積型と直和型 レコード構文 直積型の呪い:階層的な設計

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT3(型によるプログラミング)、LESSON16(直積型と直和型)、16.1(直積型)、直積型の呪い:階層的な設計、クイックチェック 16-2の解答を求めてみる。

コード

data Car = Car deriving (Show)

data Spoiler = Spoiler deriving (Show)

data SportsCar = SportsCar Car Spoiler deriving (Show)

main = do
  print $ SportsCar Car Spoiler

入出力結果(Terminal, Zsh)

% runghc sample02.hs 
SportsCar Car Spoiler
%