慶祝東尼·霍爾對電腦科學的卓越貢獻

背景

這篇文章由知名計算機科學家 Bertrand Meyer 撰寫，旨在紀念於 2024 年以 92 歲高齡辭世的圖靈獎得主 Tony Hoare。文章回顧了 Hoare 在演算法、形式化方法及程式語言設計上的卓越貢獻，特別強調了他優雅的寫作風格與非典型的學術背景，展現了這位大師如何形塑現代計算機科學的基礎。

社群觀點

在 Hacker News 的討論中，社群成員對於 Tony Hoare 的歷史地位展現了高度的敬意，認為他與作者 Bertrand Meyer 之間的互動象徵了計算機科學黃金時代的傳承。討論者指出，我們正處於一個極其幸運的時代，能夠親眼見證一門新科學與工程學科在過去五十年間從無到有的奠基過程。雖然有人補充這段歷史其實可以追溯得更遠，例如 Grace Hopper 在 1950 年代對編譯器概念與高階語言的開創性貢獻，但 Hoare 在學術與工業界交界處的影響力無疑是決定性的。

針對 Hoare 最著名的「十億美元錯誤」——即空指標（Null Reference）的發明，社群提出了一個更具層次的觀點。有評論者指出，空指標並非由 Hoare 憑空創造，早在 1959 年的 Lisp 語言中就已存在 NIL 的概念。Hoare 的偉大之處不在於他是唯一的責任人，而在於他身為具備極高權威的學術領袖，願意在 2009 年公開承認這是一個設計錯誤。這種自我批判的精神，為後來的 Rust、Swift 與 Kotlin 等現代語言提供了重新設計類型系統、排除空指標隱患的道德正當性與技術動力。

此外，曾受教於 Hoare 的學生分享了他在牛津大學期間如何推動形式化規格語言（如 Z notation）與通訊順序程序（CSP）的發展。Hoare 不僅是一位理論家，更是一位卓越的學術領導者，他將來自不同國家的頂尖學者匯聚一堂，將艱澀的數學理論轉化為工業界可用的工程工具。這種影響力延伸到了硬體架構如 Transputer，以及現代程式語言 Go 的併發模型。社群成員感嘆，在現今過度追求博士學位與標準化考評的學術體系中，像 Hoare 這樣出身古典文學背景、未取得博士學位卻能以優雅風格與深邃邏輯改變世界的先驅，恐怕已難以複製。

延伸閱讀

在討論中，社群成員提到了一些與 Hoare 研究密切相關的技術資源：

• Z notation：一種基於集合論與謂詞邏輯的形式化規格語言，曾廣泛應用於英國的關鍵任務系統。
• CSP (Communicating Sequential Processes)：Hoare 提出的併發模型，深刻影響了 Occam 語言以及現代 Go 語言的 Channel 設計。
• Occam 語言：基於 CSP 理論開發的程式語言，主要用於 Transputer 微處理器架構。
• Transputer：1980 年代一種具備內建通訊鏈路的微處理器設計，旨在實現大規模並行運算。