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

P>Можно сказать и так. Неужели неочевидно равнозначность сказанного мной и вот этого утверждения. котрое представляет собой простую переформулировку? Тип объекта = типу ссылки. Само собой, РЕАЛЬНЫЙ тип объекта не имеет с эти ничего общего.

Нет, ты вот придумал какой-то "реальный" тип, а уже если у тебя своя собственная терминология, то обсуждать что-либо неинтересно, да и вообще смысла твоих претензий не просматривается (или ты что-то другое на системах типов вытеснить хочешь?). К примеру, возьмём любой динамический ООП язык — какого типа там будет ссылка? Как-то ты ограниченно смотришь, по-моему.