Oleg Kiselyov explains why not Order extends Equals

Subclassing errors, OPP, and practically checkable rules to prevent them

P.S. I believe the problem is that with stateful objects, we do not know exactly which category are we dealing with; roughly speaking, for class A subclassing class B, there are actually two monads, with a natural transformation from one to another; and we think we have a functor from, not sure yet, one Kleisli category to another, or from one Eilenberg-Moore category to another, or even an interesting relationship between two categories of adjoints generated by the monads.

Have to look closer; maybe this explains the problem with "Liskov substitution".

для тех, кто не понял, повторяем

"Итак. ЖЖ наполовину разбежался. Работа надоела. Кандидаты в президенты один другого, э, лучше. Бензин 4 доллара за галлон. Одно утешение - стоки где-то растут. Ну так что, одна радость остаётся (кроме, конечно, семейной) - это деньги? Тьфу! Где вообще всё? "

будет жалко, если...

жж захлопнется. Здесь каждый нашел по полтыщи прекрасных собеседников.