Пример позитивного is-a правила при наследовании: - "Собака" наследуется от "животного" - собака "является" животным - true - "Клавиатура" наследуется от "устройства" - клавиатура "является" устройством - true - "Событие" наследуется от сообщения - "событие" является "сообщением" - true (а может и false, тут уже от контекста). Легко увидеть что наследование удачно работает "от общего к частному". Это, кстати, хорошо сочетается с принципом Лисков: - предусловия не могут быть усилены в подклассе - постусловия не могут быть ослаблены в подклассе #программирование #правила #лисков