托尼·霍尔

生平

托尼·霍尔(Tony Hoare,即 C. A. R. Hoare)1934 年出生于斯里兰卡,英国计算机科学家,长期任教于牛津大学,后加入微软剑桥研究院。

主要贡献

1960 年前后他发明了快速排序(Quicksort),至今仍是最常用的排序算法之一。他提出的霍尔逻辑(Hoare Logic)以前置条件、后置条件形式化验证程序正确性;1978 年提出的 CSP(通信顺序进程)模型用消息传递描述并发,直接启发了 Go 语言的 goroutine 与 channel 设计。

十亿美元错误

霍尔 1980 年获图灵奖。他曾公开反思自己 1965 年在 ALGOL W 中引入空引用(null reference)是「十亿美元错误」,这一自省常被用于论证 Option 类型与空安全设计的价值。