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

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

S>>чтобы была выполнена проверка if(current is IntegerList).

V>Еще и динамическая типизация...
V>Как и с размеченным объединением, вариант с динамической типизацией ужасен.
V>Это ведь тоже две серьёзные инженерные ошибки, стоившие индустрии овердохера миллиардов...
Крайне спорное утверждение. Впрочем, если вам удастся его доказать, то вы опровергнете заглавную тему топика, т.к. эти "ошибки" как раз и были сделаны программистами прошлого, которые якобы были умнее

V>И оно в любом случае не спасет, если объект был удалён, а ссылка на него еще есть — я ж сразу обращал внимание, что проблема валидной ссылки намного шире, и не ограничивается только null.
В Algol W это невозможно. Там нет способа "удалить объект".

V>Требуются совершенно другие техники. А полноценный GC на тот момент тупо не взлетел бы, бо ему требуется метаинформация над полями, это ж не Лисп с его парой {CAR, CDR}.
И тем не менее, в Algol W сборка мусора была.

Выводы, сделанные на основе неверных предположений, поскипаны.