Bertrand Meyer撰文庆祝Tony Hoare对计算机科学的深远影响，重点介绍了他在编程语言、算法和形式化方法方面的贡献。文章回顾了Hoare在快速排序、霍尔逻辑和空引用方面的工作，这些已成为现代计算的基础。Hacker News上119分和30条评论的讨论显示了其持续影响力。
背景
Tony Hoare是图灵奖得主，以快速排序算法、程序验证的霍尔逻辑和有争议的空引用发明而闻名。他的工作塑造了现代编程语言设计和软件工程实践。
- 来源
- Hacker News (RSS)
- 发布时间
- 2026年3月18日 14:31
- 评分
- 6.0 / 10