вы оспариваете принцип Лисков?

Да, он в ООП не работает, потому что за его соблюдением нужно самому следить

это какая-то очень странная логика

я не понимаю, как необходимость самому следить за коммутативностью операции + связано с существованием поля

А где тут подтипы?

я оспариваю саму форму, что "необходимость следить" (административный уровень) вообще может влиять на свойства сущностей (логический уровень)

логический уровень может поддерживаться административными методами из-за невозможности выразить соответствующее требование средствами языка

Что ещё за иерархия уровней?

ну там фреге, знаки, семиотика, все такое

принцип Лисков не является правилом хорошего тона, он является неизбежным следствием полиморфизма

он работает не как "запрещено делать, бьем по рукам"

наличие потомка, "не соблюдающего" фактический контракт интерфейса, просто изменит фактический контракт интерфейса

если вы скажете, что Mandelbrot: HorizontalSymmetricShape принцип Лисков не будет нарушен

просто HorizontalSymmetricShape больше не будет горизонтально симметричным

чувствуете, как понятия начинают расходиться? номинальный контракт интерфейса, выраженный словами в комментарии (административный уровень) от фактического, выведенного из свойств исходного кода (логический уровень)? причем, пока у вас нет как минимум средств формальной верификации в компильтайме вы не можете сделать их одинаковыми, потому что фактические потомки вашего интерфейса всегда будут иметь лишние наборы логических свойств, которые могут быть внезапно оформлены в коде (см. пример с площадью shape) и не внесены в номинальный контракт

Ты чет разошелся)

прочитал как "Берешь пишешь метакод и говно"

Куда смитик исчез о_О

Самовыпилился

Да вроде здесь сидит