В последнее время я пересматривал основы программирования и наткнулся на интервью с Барбарой Лисков. Ее объяснение абстракции и модульности было поучительным и дало мне новый взгляд на принцип подстановки Лискова. https://lnkd.in/g4hQbYMM Абстракция является важнейшей концепцией в разработке программного обеспечения, и принцип подтипирования поведения, также известный как принцип подстановки Лисков, имеет решающее значение для построения этой концепции. Как объясняет Барбара Лисков,..

Для начала, чтобы не тратить ваше время, эта статья посвящена ковариации в объектно-ориентированном программировании, а не в математическом (как в статистике или обработке сигналов). Ковариантность и контравариантность — это функции, поддерживаемые современными языками программирования, которые позволяют входным или выходным значениям изменять тип, когда мы специализируем метод в дочернем классе. В этот момент вы можете спросить себя, как они могут быть связаны; Пожалуйста, оставайтесь..