Content deleted Content added
Line 52:
This mechanism is not unique to object-oriented programming. Implementations of [[abstract data types]], e.g. [[module (programming)|modules]], offer a similar form of encapsulation. This similarity stems from the fact that both notions rely on the same mathematical fundament of an [[existential type]].<ref>Pierce (2002), Section 24.2 "Data Abstraction with Existentials"</ref>
// This Main method can check the balance via the public
// "CheckBalance" method provided by the "Account" class
// but it cannot manipulate the value of "accountBalance"
// but this is very good
== In combination ==
| |||