1. なぜデータ定義が重要なのか
プログラミングにおいて、多くのバグは「あり得ない状態」を許容してしまうことから生まれます。例えば、ユーザーの「年齢」にマイナスの値が入っていたり、本来存在してはいけない組み合わせのデータが生成されたりすることです。優れたデータ定義を行うことは、「不正な状態を表現不可能にする」ことを意味します。これにより、プログラムの実行時に複雑なエラーチェックを繰り返す必要がなくなり、数学的な整合性が取れた、堅牢で美しいコードを書くことができます。
2. 基礎知識：直積型と直和型
データ定義を考える上で、最も重要な概念が「直積型」と「直和型」です。
直積型（Product Type）は、「AかつB」という概念です。例えば「ユーザー」というデータに「名前（文字列）」と「年齢（数値）」の両方が必要な場合、これらを組み合わせて一つの型を作ります。
直和型（Sum Type）は、「AまたはB」という概念です。例えば「支払い方法」として「クレジットカード」または「銀行振込」のどちらか一方だけを選べるようにする場合、これらを列挙型として定義します。
これらを適切に組み合わせることで、ドメイン（解決したい業務領域）を型として完璧に表現できます。
3. 実装の考え方：Maybeを減らす
初心者の方が陥りやすいのが、何でもかんでも「値があるかもしれない（Maybe）」としてしまうことです。値が存在しないことが論理的にあり得ない場所でMaybeを使うと、常に値の有無をチェックするコードが必要になり、プログラムが複雑化します。「本当に値が空になる可能性があるのか？」を自問自答し、可能な限り具体的な型を定義することで、プログラムの構造は驚くほどシンプルになります。
4. サンプルプログラム
以下は、ユーザーのステータスを表現する際の型定義の例です。不正な状態を作らせない工夫を施しています。
// 支払い方法を定義（直和型）
// クレジットカードには番号が必要だが、銀行振込には不要、という情報を型で表現
type PaymentMethod =
| CreditCard of string // カード番号
| BankTransfer // 銀行振込は情報が不要なのでこれだけで良い
// ユーザーの状態を定義（直積型）
type User = {
Name: string
Age: int
Payment: PaymentMethod
}
// 関数の例：支払い処理
let processPayment (user: User) =
match user.Payment with
| CreditCard num ->
// コンパイラが「カード番号がある」ことを保証してくれる
printfn “%sさんのカード(%s)で決済します” user.Name num
| BankTransfer ->
// こちらも同様に、銀行振込であるという情報が確定している
printfn “%sさんの銀行口座へ請求書を送ります” user.Name
// 実行例
let user1 = { Name = “田中”; Age = 25; Payment = CreditCard “1234-5678” }
processPayment user1
5. 応用と注意点
現場で型定義を行う際は、「不変条件（Invariant）」を意識してください。例えば、「年齢は0歳以上150歳以下であるべき」というルールがある場合、単なる整数型ではなく、専用の型（Smart Constructor）を通さないと作成できないようにすると、より安全です。
また、型定義は一度決めたら終わりではありません。ドメインの理解が深まるにつれ、型も変化させるべきです。型を定義し、コンパイルを通すというプロセスそのものが、仕様に対する深い洞察を与えてくれます。パズルのピースがカチリとハマる感覚を、ぜひ味わってみてください。
コメント