決まった値だけを許す

とりうる値を | で並べると、「このうちのどれか」という型になる。これをリテラル型（値そのものの型）のユニオンと呼ぶよ。

string と書くよりずっと細かく決められる。「色はこの3つしかない」ということを型で言えるんだ。

リテラル型のうれしいところはここだよ。並べた以外の値を入れると、実行する前にはじかれる。

string と書いていたら通ってしまって、動かしてから「なぜ色が変わらないんだ」と悩むところだ。

同じ選択肢を何度も書くのはつらい。章2で覚えた type で名前をつけておこう。

名前がつくと、変数にも引数にも同じ型を使い回せる。あとで選択肢を足すときも、直すのは1か所だけだ。

名前をつけた型は、関数の引数にも書ける。すると呼ぶ側がまちがえたときに止まってくれるよ。

ここから書いてみよう。まずは選択肢を | で並べるところから。