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

S>По-прежнему не понимаю проблемы. То, о чём вы говорите, можно сделать вообще без наследования.

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