Two subtle but necessary and principal clarifications.
1. A reference is not "from that time on". The notion of time must be irrelevant here. The reference is immutable until the process (scope) ends, not in time, just ends.
2. Objects are unnecessary. References and the abstraction principle are necessary and sufficient. Duck-typing is abstraction without an object.
This is what Haskell type-classes captured - to be a _____ is to be able to ______.
Two subtle but necessary and principal clarifications.
1. A reference is not "from that time on". The notion of time must be irrelevant here. The reference is immutable until the process (scope) ends, not in time, just ends.
2. Objects are unnecessary. References and the abstraction principle are necessary and sufficient. Duck-typing is abstraction without an object.
This is what Haskell type-classes captured - to be a _____ is to be able to ______.
Greeks and Platonism plagued OO minds.