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

M>Я уверен в том, что принцип подстановки Лискоу говорит о том, что если у
M>нас есть некий абстрактный алгоритм корректно работающий с неким
M>классом, то мы ОБЯЗАНЫ создавать субклассы от этого класса таким
M>образом, чтобы работа алгоритма не нарушалась.

Можно короче:
Везде где подходит предок, подходит его потомок.

В данном контексте — если я знаю, что предок сериализуется и может быть сохранен в файл, логично того же ожидать и от потомка. У MS как обычно все криво.

PS Конкретно, что "Везде где подходит предок, подходит его потомок" называется принципом Лискоу я узнал этим летом. А трактовку эту вроде сам придумал лет 10 назад.