代数的データ型

本では、構造体スタイル、列挙型スタイル、共用体スタイルと名付けて3つに分けて説明されています。そのうちの構造体スタイルについて説明を読みました。

型を定義する時に使うのはdata宣言。こんな例が出てきました。

data Anchor = A String String

Anchorが型の名前。先頭はアルファベット大文字にしないといけないそうです。Aがデータコンストラクタ。これも先頭はアルファベット大文字。その後ろがフィールドの数と型になります。今回の例だとString型のフィールドが二つ。

説明の続きはありますけど、今日はここまで。