🎯
概念 #関数型 #ドメインモデリング #型システム

型駆動設計(Type-Driven Design)

ドメインの制約・状態・ルールを型システムで表現し、不正な状態をコンパイル時に防ぐ設計手法