Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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.



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 of encapsulation?


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.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: