ヴァリアントの応用：列挙型

引数をとらないコンストラクタのみでヴァリアントを作れば，いわゆる列挙型になる。

# type color =
Black
| Blue
| Red
| Magenta
| Green
| Cyan
| Yellow
| White
;;
type color = Black | Blue | Red | Magenta | Green | Cyan | Yellow | White

コメントを残す

メールアドレスが公開されることはありません。 ※ が付いている欄は必須項目です

このサイトはスパムを低減するために Akismet を使っています。コメントデータの処理方法の詳細はこちらをご覧ください。