Re:Correctness – A paradigm for sustainable software develop...
by naasking on Tuesday April 09, 2019 @08:52AM
(#19614060)
There's a historical argument: encapsulation was in Cardelli's original object calculi, and part of every OO language of the time.
There's also a conceptual argument: dynamic dispatch and object identity both require encapsulation. What do you think you're dispatching or comparing equality on if not hidden state?
There's also a conceptual argument: dynamic dispatch and object identity both require encapsulation. What do you think you're dispatching or comparing equality on if not hidden state?