3 ms·
As another sibling comment pointed out there are many tools that enable local reasoning, encapsulation is one such tool. I'm not claiming the idea is novel, ju
by K0nserv 2y ago
As another sibling comment pointed out there are many tools that enable local reasoning, encapsulation is one such tool.
I'm not claiming the idea is novel, just that I haven't encountered a name for it before.
- TZubiri 2y agoI'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 of encapsulation?
- galangalalgol 2y agoI 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.