感謝 Malcolm Wallace 的努力，ICFP 2009 (第 14 屆 ACM SIGPLAN 函數編程國際會議) 和部份周邊研討會，包括 Erlang Workshop, CUFP (函數編程之商業用途), Haskell Symposium, Haskell Implementer’s Workshop 等等的全程錄影已經上網了。據我所知這是 ICFP 第一次嘗試將演講錄影上網，希望以後也能一直這麼做下去。大家可由其官網連結中找到議程，影片則在 Malcolm Wallace 設置的 vimeo 相簿中。
今年我第一次擔任 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 論文呢。