derived types are completely substitutable for their base types that functions which use those base types can be reused with impunity, and the derived types can be changed with impunity. ex:when 'car(derived from vehicle)' is a 'vehicle', 'car' should be well substitutable whereever vehicle is used.
2012-08-14 17:47
This blog is frozen. No new comments or edits allowed.
that functions which use those base types can be reused with impunity,
and the derived types can be changed with impunity.
ex:when 'car(derived from vehicle)' is a 'vehicle',
'car' should be well substitutable whereever vehicle is used.