Details of the type system
Virtual functions: more control
- On per-method basis, can control whether a method overrides (vs. hides) supertype method.
Interfaces:
- Can explicitly control what method implements a method in an interface.
- Allows alternate implementations
Instance methods vs. virtual methods