4 подписчика

👉 У типов в JAVA определен частичный порядок "A>B" A - надтип B или B - подтип A ("A:>B", если допустимо A=B)

👉 "A:>B" - рефлексивно, антисимметрично, транзитивно (рефлексивно-транзитивное замыкание над предикатом "A>^1B" - прямой надтип)

👉 "A>B" - антирефлексивно, антисимметрично, транзитивно

👉 Надтип не должен предоставлять больше возможностей, чем предоставляет подтип (Барбара Лисков)

👇

Около минуты

13 декабря 2023