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

V>В смысле "спорное утверждение"?
В прямом. И про то, что это — ошибки, и про овердохера миллиардов.

V>А как же принцип подстановки Лисков?
Прекрасно. А что с ним не так?
V>Это сразу на пересдачу...
Ну так приходите на пересдачу, если завалили. Пока я вижу, что вы не понимаете терминов, которыми пользуетесь.
Например, у вас есть какие-то заблуждения о совместимости алгебраических типов с LSP.

S>>Впрочем, если вам удастся его доказать, то вы опровергнете заглавную тему топика, т.к. эти "ошибки" как раз и были сделаны программистами прошлого, которые якобы были умнее

V>Дык, программисты прошлого придумали концепцию абстрактного итератора, чтобы не нарушался принцип подстановки.
Да, точно. Смысла слов вы не понимаете, продолжаете фонтанировать чушью.
V>Ага, точно!
Ну, вот видите.
V>Ну так ошибку на хреналлион денег совершил Вирт, а не Хоар, получается?
Нет, т.к. null-refernce был в Algol W до Паскаля.

V>Разве?
V>

V>В Algol W отсутствует встроенная сборка мусора.

V>Все источники единодушны в этом. При этом несколько документов подчёркивают, что это было осознанное архитектурное решение — для простоты реализации и эффективности на машинах 1960-х годов.

V>Прям почти моими словами, вау...
Пробили очередное дно. К собственному бреду добавляете галлюцинации ИИ. Вы что, так и не научились требовать от него ссылки на "источники"?
Можно компенсировать отсутствие эрудиции логикой: как должна была работать программа на языке, где нет операций освобождения памяти?
Можно компенсировать отсутствие логики тщательностью поиска: пойти да почитать, как были устроены реализации Algol W.
Вы зачем-то компенсируете отсутствие всего этого безудержным фантазированием. Это, как бы вам сказать, прямо красный флажок для разработчика при устройстве на работу.

http://i.stanford.edu/pub/cstr/reports/cs/tr/68/98/CS-TR-68-98.pdf
https://softwarepreservation.computerhistory.org/ALGOL/book/Satterthwaite-AlgolW_Impl.pdf
Читайте, просвещайтесь.


V>Попробуй еще раз...
Смешно.