2 ms·

I'm not saying that encapsulation is a tool for local reasoning, I'm saying they are the same concept. How is the concept of local reasoning distinct from that

• galangalalgol 2y ago
  I think most of us associate the word encapsulation with OOP nightmare code that spread mutable state across many small classes that often inherited from one another and hid the wrong state. Stateless and low state are the reaction to that. If you expand the term to include those aids to local reasoning then many more might agree with you.