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 年起的歷屆得獎名單:

• 1996: Optimality and inefficiency: what isn’t a cost model of the lambda calculus? Julia L. Lawall and Harry G. Mairson.
• 1997: Functional Reactive Animation, Conal Elliott and Paul Hudak.
• 1998: Cayenne — a language with dependent types, Lennart Augustsson.
• 1999: Haskell and XML: Generic combinators or type-based translation? Malcolm Wallace and Colin Runciman.

今年我第一次擔任 ICFP 的議程委員，感想是：高水準的會議果然是不同呀。投稿來的論文大都很好看，在短期要看完那麼多論文竟不是想像中那麼辛苦的事情。恰巧整理舊信，發現之前某會議的議程委員討論中有人寫道「這篇我只想給 C 而已，可是今年我分到的論文中只有這篇可以看了。是我運氣不好嗎？」真是天壤之別呀。

幾天的會議中有很多精彩的演講。三場邀請演講分別由 Guy Steele 談映射摺疊與平行處理、Benjamin Pierce 談用 Coq 教程式語言、Dan Piponi 談單子、量子計算、與繩結（是的，他和做駭客任特效務拿奧斯卡獎的 Dan Piponi 是同一個人），都應有不同的聽眾會喜歡。覺得和技術論文有距離的人則可以看看 Peter Landin 紀念、Rod Burstall 得到 SIGPLAN 程式語言成就獎、99 年最有影響力論文獎等等感人場面，或著總是很好玩的 ICFP 程式設計比賽頒獎。猜猜今年哪個語言得獎？

技術論文方面，有趣的演講很多，大概要興趣相合才能理解了。若找到喜歡的題目，一場技術演講連問題只有 25 分鐘，算是很快的吸收資訊的方法（對講者而言要把演講濃縮成這樣就很辛苦了）。這邊只提一個: Ralf Hinze 的 La Tour D’Hanoï 講河內塔問題:

Functional Pearl: La Tour D’Hanoï from Malcolm Wallace on Vimeo.

這是近年越來越少的好 "functional pearl" 論文，在議程委員中得到一致的高評價，演講也很棒。我想即使不懂程式語言、甚至不需要會寫程式，也可以聽到許多有趣的點。

好吧，還有個原因是這一節由我當主席，在頭尾小小露臉一下…。哎，話說我還沒有 ICFP 論文呢。