узнал два новых слова в русском языке

Сканворд
Лабутены

это необходимо знать, и этого достаточно

"Врачи не могли поставить ему диагноз, поэтому не могли выписать обезболивающее, и ему постоянно было больно. Родным сказали: «Потерпите немного, через две недели он умрет»."

I think one of the biggest problems with OOP...

...is that nobody cares whether subtyping is monomorphic.

I mean, if we only say that A is a subtype of B when we have a canonical inclusion A ↣ B, many things would make more sense.

But for some reason, any canonical function A → B is accepted as a subtyping relationship, and I wonder why. Or rather not, I don't. Liskov etc. Projections.