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