ICFP 最具影響力論文獎

從 2006 年開始,每次的 International Conference on Functional Programming (ICFP) 回顧十年前發表的論文,看看哪篇最經得起歲月的考驗,在十年中發揮了最大的影響力。ICFP 2010 剛在上個月底落幕,而這是 ICFP 2000 的論文列表。如果您是評審,會頒獎給誰呢?

2010 年 ICFP 議程委員的選擇是…

Koen Claessen 和 John Hughes 的 Quickcheck: a lightweight tool for random testing of Haskell programs!

本文提出了一套相當簡單但有力的 Haskell 程式測試系統,為 Haskell 程式實務上的除錯帶來了重大的衝擊。本文描述了一個利用 type classes 和單子 (monads) 自動產生亂數測試資料的聰明技巧。此後 QuickCheck 成了極受歡迎、廣被程式員使用的 Haskell 函式庫,也被許多大學 Haskell 課程採用。本文描述的技巧引發了整套關於測試條件產生的後續研究,也被移植到其他語言上,包括為 Erlang 和 C 製作的商業版本。
Most Influential ICFP Paper Award.

John Hughes 在代表致詞時說,當時他正在忙另一個「很重要、很重要,可是我現在已經記不得了」的計畫。稍作歇息之時,Koen Claessen 提到了這個用 type class 產生測試資料的點子。他們覺得可用閒暇時間做做看。結果 QuickCheck 成了使用率最高的 Haskell 函式庫之一,不僅徹底改變了 Haskell 程式員的工作模式,還出了 Erlang 和 C 的版本。

「以一篇被 ESOP reject 的論文來說,還算不錯吧?」

ICFP 最具影響力論文獎自 2006 年起的歷屆得獎名單:

This entry was posted in 計算算計 and tagged , , . Bookmark the permalink. Post a comment or leave a trackback: Trackback URL.

2 Comments