Make Illegal States Unrepresentable
from
Always-Valid Domain Model
Designing with types: Making illegal states unrepresentable | F# for fun and profit
domain modeling made functional
の人
Make Illegal States Unrepresentable | corrode Rust Consulting
たぶんセキュアバイ・デザインの本にも書いてあるんじゃない、読んでないから知らんけど