Вопросы с тегом «subtypes»

Когда вы используете концепцию полиморфизма, вы создаете иерархию классов и, используя родительскую ссылку, вызываете функции интерфейса, не зная, какой конкретный тип имеет объект. Это круто. Пример: У вас есть коллекция животных, и вы вызываете все функции животных, eatи вам все равно, едят ли вы собаку или кошку. Но в той …

14 design-patterns  object-oriented  polymorphism  subtypes 

Работа Лискова в этой области была сосредоточена на поведенческих подтипах, которые помимо безопасности системы типов, обсуждаемой в этой статье, также требуют, чтобы подтипы сохраняли все инварианты, гарантируемые супертипами в некоторых контрактах. [3] Это определение подтипа обычно неразрешимо, поэтому его нельзя проверить с помощью средства проверки типов. От: http://www.wikiwand.com/en/Subtyping#/Function_types

12 type-systems  subtypes