Type = objects with similar behavior
partial types are designed to have subtypes
Inheritance
-- factor out code
(building blocks)
abstract interface
-- implementation is left to subtypes
type hierarchy
-- behavioral refinement and extension
slide
:
Partial types