托尼·霍尔爵士已逝。

托尼·霍尔爵士已逝。
Sir Tony Hoare has died

原始链接: http://lefenetrou.blogspot.com/2026/03/in-memoriam-tony-hoare.html

乔纳森·鲍温告诉我托尼·霍尔于3月5日星期四去世。https://en.wikipedia.org/wiki/Tony_Hoare 托尼·霍尔通过他的著作是我的导师之一，包括：Dahl, O.-J.; Dijkstra, E. W.; Hoare, C. A. R. (1972). Structured Programming. Academic Press. ISBN 978-0-12-200550-3. OCLC 23937947. C. A. R. Hoare (1985). Communicating Sequential Processes. Prentice Hall International Series in Computer Science. ISBN 978-0131532717 (精装本) 或 ISBN 978-0131532892 (平装本)。(可在 http://www.usingcsp.com/ 存档于 Wayback Machine 的 PDF 格式在线获取。) 我将您转到 https://www.researchgate.net/profile/Jonathan-Bowen-2/publication/251422442_Oral_History_of_Sir_Antony_Hoare/links/6071ada14585150fe999e6de/Oral-History-of-Sir-Antony-Hoare.pdf 和 FACTS T Denvir, J He, CB Jones, AW Roscoe, J Stoy, B Sufrin, JP BowenFACS FACTS 2024 (2), 5-42

根据 Hacker News 上的帖子和一篇博文，著名的计算机科学家和图灵奖得主托尼·霍尔爵士据报道已经去世。最初的说法出现在 3 月 8 日，称他于 3 月 5 日去世，但最初缺乏广泛的确认。讨论迅速集中在核实这一消息上，用户指出他的维基百科页面已被编辑，并且缺乏官方公告。截至最新评论，维基百科现在将 3 月 8 日列为他的死亡日期。该帖子还引发了关于霍尔遗产的讨论，特别是他对“价值十亿美元的错误”的承认——空引用。用户们争论现代解决方案（如可选类型）是否真正是改进，考虑到安全性和复杂性之间的权衡。许多人表达了对霍尔贡献的尊重，建议在 Hacker News 网站上进行“黑色酒吧”致敬。

Jonathan Bowen m'a appris le décès de Tony Hoare jeudi 5 mars.

https://en.wikipedia.org/wiki/Tony_Hoare

Tony Hoare est un de mes maîtres via ses écrits dont :

Dahl, O.-J.; Dijkstra, E. W.; Hoare, C. A. R. (1972). Structured Programming. Academic Press. ISBN 978-0-12-200550-3. OCLC 23937947.

C. A. R. Hoare (1985). Communicating Sequential Processes. Prentice Hall International Series in Computer Science. ISBN 978-0131532717 (hardback) or ISBN 978-0131532892 (paperback). (Available online at http://www.usingcsp.com/ Archived 1 February 2021 at the Wayback Machine in PDF format.)

Je vous renvoie à

https://www.researchgate.net/profile/Jonathan-Bowen-2/publication/251422442_Oral_History_of_Sir_Antony_Hoare/links/6071ada14585150fe999e6de/Oral-History-of-Sir-Antony-Hoare.pdf

et à FACTS

T Denvir, J He, CB Jones, AW Roscoe, J Stoy, B Sufrin, JP Bowen
FACS FACTS 2024 (2), 5-42

托尼·霍尔爵士已逝。 Sir Tony Hoare has died

托尼·霍尔爵士已逝。
Sir Tony Hoare has died