代数的な型システム
すべての複合型がより小さな型を AND または OR で 合成 してできること
ドメインの文書化 では AND と OR を用いてドメインを文章化した
代数的な型システムは、ドメインモデリングのための優れたツールである
F# などの FP は、代数的な型システムを内蔵している