値が制約を満たしていることを型で保証する - Qiita

URLをあらわす文字列であるとか、0以上であることが要求される整数であるとか、値が何らかの制約を満たすことを要求される場面は多くあります。 たとえば、男女2頭のヤギさんの角の本数を引数にとって、その2頭のヤギさんが愛し合って交尾して子どもを作っても問題ないかを判断する関数を定義します。 それぞれの角の数を引数にとって Bool型を返す自然な設計ですね？ でも、ちょっとまってください！ 有角のヤギさんは2本しか角を持っていません。 そのため、ヤギさんのとりうる角の数は以下のいずれかしかありえないはずです。 0本: 生まれつき無角のヤギさんか、有角の仔ヤギちゃんの角芽を焼きごてで焼いた（断末魔のような悲鳴がする） 1本: 有角の仔ヤギちゃんの角芽を焼いたけど不十分で1つだけ残った（断末魔の悲鳴が無駄になった😱） 2本: 生まれつき有角 3本以上: 染色体に異常があるので、ここではヤギとは見な

[arow-okamoto]

めずらしく軽めの基礎的なテクニックの記事を書いてみました。 ヤギさんの子作りについてもすこし学べます。