導入：なぜ「型の境界」を知ることが大切なのか
プログラムを書いていると、「この変数はどこからどこまで値を取れるのか？」と迷うことはありませんか？特に日付や曜日、あるいは列挙型（enum）のような有限の選択肢を扱う際、手動で最小値や最大値を管理するのはバグの元です。今回紹介する「Bounded」という仕組みを使えば、型自身にその境界を教えさせることができます。これにより、コードの安全性と保守性が劇的に向上します。
基礎知識：Boundedとは何か
Boundedは、その型が「最小値」と「最大値」を持っていることを示す型クラス（インターフェースのようなもの）です。これを利用すると、プログラムが自動的にその型の端っこを認識できるようになります。例えば、曜日なら「月曜日が最初で日曜日が最後」といった情報を、プログラマがわざわざ数値を割り当てて覚える必要がなくなります。
実装：deriving Boundedで魔法をかける
Haskellなどの関数型言語では、データ型を定義する際に「deriving Bounded」と記述するだけで、コンパイラが自動的にその型の最初と最後を計算してくれます。これにより、コード内で「この型の最大値は何？」と問いかけるだけで、`maxBound`という値として取り出すことが可能になります。
サンプルプログラム
以下は、曜日を定義し、その境界を確認するサンプルコードです。そのままコピーして動作を確認してみてください。
-- Day型を定義し、Boundedを自動導出（deriving）します
data Day = Mon | Tue | Wed | Thu | Fri | Sat | Sun
deriving (Show, Eq, Enum, Bounded)
main :: IO ()
main = do
-- minBoundは型の最小値を表します
let firstDay = minBound :: Day
-- maxBoundは型の最大値を表します
let lastDay = maxBound :: Day
putStrLn $ "週の始まりは: " ++ show firstDay
putStrLn $ "週の終わりは: " ++ show lastDay
-- 応用：範囲指定でリストを作成する（月曜から日曜まで）
let allDays = [minBound .. maxBound] :: [Day]
putStrLn $ "全曜日リスト: " ++ show allDays
応用・注意点：現場での活用と落とし穴
このBoundedの最大のメリットは、型定義を変更したときに威力を発揮します。例えば、後から「Holiday（祝日）」というコンストラクタを追加したとしても、`maxBound`は自動的に更新されるため、境界値を使っているロジックを修正する必要がありません。
注意点として、Boundedは「順序」が定義されている必要があります。そのため、`deriving Bounded`を使う際は、必ず`deriving Enum`（列挙可能であること）も一緒に指定するのが一般的です。また、無限に続く数値型（例えばIntegerなど）には適用できない点に注意してください。あくまで「有限の選択肢」を扱うときにこそ、この強力な武器を積極的に使ってみてください。
コメント