Предварительные замечания
К сожалению, имеется большое число предварительных замечаний, которые мне требуется сделать прежде, чем я смогу приступить к реальному обсуждению наследования как такового, и эти предварительные замечания являются основным предметом данной заметки.
В прошлом я обсуждал некоторые очень важные логические различия: модели и реализации, значений и переменных, доменов (или типов) и отношений, типов и представлений. Оказалось, что все эти различия имеют отношения к теме наследования; в действительности, мы предполагаем, что путаница, наблюдаемая нами в литературе, относящейся к этой области -- а ее много -- является результатом непринятия во внимание этих различий должным образом. Поэтому позвольте мне напомнить некоторые из основных понятий.
