導入：なぜ「情報の濃度」を減らすべきなのか
実務におけるシステム開発では、外部からの入力やDBから取得した値を扱う際、安易に Int や String といった汎用的な型を使いがちです。しかし、これがバグの温床になります。本稿では、型の取り得る値の範囲（情報の濃度）を可能な限り絞り込むことで、テストケースを削減し、コードの堅牢性を劇的に高める手法を解説します。型定義を厳密にすることは、ランタイムでの例外をコンパイル時のエラーに変えるための最も強力な手段です。
基礎知識：情報の濃度と型の制約
「情報の濃度」とは、ある型が保持できる値の集合の大きさのことです。例えば、0から100までの整数のみを扱うプログラムで Int を使うと、Int が保持できる膨大な範囲（数億から数兆まで）のうち、ごく一部しか使わないことになります。この「使われない余分な範囲」が、バグの入り込む余地を生みます。関数型プログラミングでは、代数的データ型（ADT）やスマートコンストラクタを活用して、プログラムが「あり得ない状態」を表現できないように設計します。
実装：最小の型を定義する戦略
実装のステップは以下の通りです。
1. ドメイン知識に基づき、値の境界を明確にする。
2. 標準ライブラリのプリミティブ型をそのまま使わず、独自の型や制約付きの型でラップする。
3. 値の生成時にバリデーションを行い、不正な値がシステム内部に侵入することを許さない。
サンプルプログラム：堅牢なスコア型の実装例
以下は、0から100の範囲のみを許容するスコア型をTypeScriptで実装した例です。
// 0から100の範囲のみを許容する型を定義
type Score = number & { readonly __brand: unique symbol };
// スマートコンストラクタ：不正な値が作られるのを防ぐ
function createScore(value: number): Score | null {
if (value >= 0 && value <= 100) {
return value as Score; // 妥当な値のみキャストして返す
}
return null; // 不正な値にはnullを返し、呼び出し側に責任を委譲する
}
// 利用側のコード
const input = 150;
const score = createScore(input);
if (score !== null) {
console.log(`スコアは ${score} です`);
} else {
// ここで不正な値に対するエラーハンドリングを強制できる
console.error("無効なスコアが入力されました");
}
応用・注意点：現場での運用と注意点
現場でこの手法を導入する際は、以下の点に注意してください。
まず、過度な型定義はコードの記述量を増やし、可読性を下げる可能性があります。ビジネスロジックにとって重要な境界値にのみ適用するのが現実的です。また、外部システム（APIのJSONやDBのレコード）と境界を接する箇所では、必ずバリデーションを行い、不正な値を型システムの外で遮断してください。型を絞り込むことは、コードを書く苦労を「実行時のデバッグ」から「設計時の考察」へとシフトさせる行為です。最初は手間だと感じるかもしれませんが、結果としてテストコードを大幅に減らし、リリース後の安定性を高めることができます。
コメント