Objectives of typed OOP -- system description
- packaging in a coherent manner
- flexible style of associating operations with objects
- inheritance of description components -- reuse, understanding
- separation of specification and implementation
- explicit typing to guide binding decisions