12月12日の学び

データ型の定義

  • 新しいデータ型Shapeの作成は以下の通り
  • 等号"="の後ろの部分を値コンストラクと呼ぶ
  • 値コンストラクタはフィールドを引数にとってデータ型を返す関数
Prelude> data Shape = Circle Float Float Float | Rectangle Float Float Float Float
Prelude> :t Circle
Circle :: Float -> Float -> Float -> Shape
Prelude> :t Rectangle
Rectangle :: Float -> Float -> Float -> Float -> Shape