A similar saying and popular blog post title is "Make illegal states unrepresentable" https://fsharpforfunandprofit.com/posts/designing-with-types-making-illeg

A similar saying and popular blog post title is "Make illegal states unrepresentable" https://fsharpforfunandprofit.com/posts/designing-with-types-making-illegal-states-unrepresentable/ https://fsharpforfunandprofit.com/posts/designing-with-types... https://ybogomolov.me/making-illegal-states-unrepresentable/ https://ybogomolov.me/making-illegal-states-unrepresentable/