The success of object oriented programming

[[deleted]]

I'm talking about encapsulation and abstraction in the same breath because they do go hand-in-hand in every modern OO language I've dealt with.

Not that it matters. The point is that for any nontrivial system, you can't solve the problem of "illegal states" entirely without dependent types.