Haskell創始人之一Paul Hudak去世
來自耶魯大學的消息,該校教授、ACM Fellow、Haskell 語言的創造者之一 Paul Hudak(學校頁面)于 4 月 29 日夜里去世,享年 62 歲。他 2009 年被診斷出白血病,2010 年做了干細胞移植。
Paul Hudak 生于 1952 年 7 月 15 日,在美國巴爾的摩長大。1973 年在 Vanderbilt 大學獲得電機工程學學士學位。一年后在 MIT 獲得計算機科學碩士,論文是理解音樂的一種模型。8 年后獲得猶他大學計算機科學博士學位,論文題目是:Object and Task Reclamation in Distributed Applicative Processing Systems(分布式應用處理系統中的對象與任務回收)。此后基本上一直在耶魯大學從事教學和科研工作。
他在計算機科學方面的主要貢獻,是函數式語言,尤其是 Haskell。Haskell 是很受尊敬的通用純虛函數式語言,也被稱為委員會設計得最好的語言,因為從一開始 1990 年前后,它就是由一群函數式語言學者群策群力、共同設計的。1.x 階段大約 12 人,到 Haskell 98 設計者多達 20 多人。但其中 Paul Hudak 是有力者,他也是很多報告的第一作者。*
另外,他的 The Haskell School of Expression 一書是公認的名著。他也是基于 Haskell 的計算機音樂領域特定語言 Euterpea 的開發者之一。
Haskell 語言學術味道比較重,在學院擁躉眾多(以至于新加坡總理李顯龍都 說退休后要去學),但平時學過用過的程序員不常見(尤其在中國)。不過,要說起它對其他語言的影響,那就非常恐怖了,C++11 中的 Concepts、C#中的 LINQ、Java 中的泛型、Scala、CoffeeScript、F#、Python、Swift……都曾從中受惠。
當然,Haskell 在工業界其實也有很多應用,最集中的是在金融界的高頻交易,干這事兒的 Haskell 程序員工資可相當不低(據說年薪百萬很普通)。在互聯網和軟件公司也不是特別稀奇,Google、非死book、微軟、愛立信、高通等都有。之前介紹 過的微軟開源數據格式化框架 Bond 就是完全用 Haskell 寫的。這個頁面收集得很多:https://wiki.haskell.org/Haskellinindustry,可以參考。
Paul Hudak 還有一項成就,現在越來越成為技術熱點和趨勢。那就是他 1997 年與 Conal Elliott 合作的一篇論文中提出的 Functional reactive programming(函數式響應式編程,簡稱 FRP) 。也就是用函數式語言特性(map, reduce, filter)來對異步的數據流編程,特別適合現在越來越多要求分布式、可擴展、消息驅動的應用。
(剛才查這篇原始論文時偶然發現,論文第一作者 Conal Elliott 居然因為公司倒閉而失業了,在找工作呢。
FRP 方面,可以參考這幾個頁面:
- http://berb.github.io/diploma-thesis/original/ 內容比較全的論文
- https://medium.com/reactive-programming/what-is-reactive-programming-bc9fa7f4a7fc 讀起來比較輕松的入門文章
- http://stackoverflow.com/questions/1028250/what-is-functional-reactive-programming 問答
- http://paulstovell.com/blog/reactive-programming 概念
耶魯大學的通告里提及,他生前喜愛爵士樂,熱心運動,喜歡登山、滑雪、漂流,還擔任高中曲棍球隊的教練。另外,他的一個女兒 Jen Hudak 繼承了運動基因,是職業自由U型滑雪運動員,拿過兩次世界極限運動會金牌。
Hacker News 上的討論:
Infoq 對 Hudak 的采訪:http://www.infoq.com/cn/interviews/paul-hudak-haskell