このシリーズでは、設計プロセスの一部として型を活用する方法について見ていきます。 特に、型を慎重に使うと、設計がより分かりやすくなり、同時に正確性も高められます。

このシリーズは、設計の「ミクロレベル」に焦点を当てています。つまり、個々の型や関数の最も具体的なレベルで作業します。 より抽象的な設計アプローチや、関数型とオブジェクト指向スタイルの選択といった判断については、別のシリーズで議論します。

提案内容の多くはC#やJavaでも実現できますが、F#は型が軽量なので、このようなリファクタリングをやりやすいでしょう。

• 型を使って設計する：はじめに。設計を分かりやすくし、正確性を高める。
• 型を使って設計する：単一ケース共用体型。プリミティブ型に意味を持たせる。
• 型を使って設計する：不正な状態を表現できないようにする。ビジネスロジックを型で表現する。
• 型を使って設計する：新しい概念を見つける。ドメインをより深く理解する。
• 型を使って設計する：状態を明確にする。ステートマシンを使って正確性を確保する。
• 型を使って設計する：制約付き文字列。プリミティブ型にさらに意味情報を持たせる。
• 型を使って設計する：文字列以外の型。整数や日付を安全に扱う。
• 型を使って設計する：まとめ。変更前と変更後を比較する。