Здравствуйте, ·, Вы писали:

·>Сабж же, как раз и спрашивают как типы сделать различными.

Так вот именно. И для того, чтобы сделать типы различными совсем не обязательно урезать список доступных операций. И получившиеся различные типы вполне могут оставаться подвидами одного и того типа без нарушения принципа подстановки типов.

Я вовсе не утверждаю, что твое решение плохое. Просто аргументация у тебя не в дугу. А в самом начале и вовсе никакой аргументации не было. Вроде царский указ зачитал.

Здравствуйте, ·, Вы писали:

·>Сабж же, как раз и спрашивают как типы сделать различными.

Так вот именно. И для того, чтобы сделать типы различными совсем не обязательно урезать список доступных операций. И получившиеся различные типы вполне могут оставаться подвидами одного и того типа без нарушения принципа подстановки Лисков.

Я вовсе не утверждаю, что твое решение плохое. Просто аргументация у тебя не в дугу. А в самом начале и вовсе никакой аргументации не было. Вроде царский указ зачитал.