ニュータイプイディオム
ニュータイプイディオムは正しい型の値が与えられていることをコンパイル時に保証することができます。
例えば、年齢を年単位で確認するis_adultには「Years」という型の値を 与えなければならない ようにすることが可能です。
最後の print文 のコメントを外して、与えられた型が Years でなければならないことを確認してください。
newtypeの元に使われている型のデータを取得するには、以下のようにタプルやデストラクト構文を用いることで取得できます。
ニュータイプイディオムは正しい型の値が与えられていることをコンパイル時に保証することができます。
例えば、年齢を年単位で確認するis_adultには「Years」という型の値を 与えなければならない ようにすることが可能です。
最後の print文 のコメントを外して、与えられた型が Years でなければならないことを確認してください。
newtypeの元に使われている型のデータを取得するには、以下のようにタプルやデストラクト構文を用いることで取得できます。