Philip Wadler,Simon Peyton Jones,John Hughes能得圖靈獎嗎?


我們量化分析一下,什麼樣的級別可以拿圖靈獎。量化指標分別是引用,h指數,i10指數。引用(Citation)是指文章被引用的次數,h指數是h篇論文被至少引用了h次,i10是指引用在10以上的論文數。3個都是越高越好。以下數據來自Google學術

先來看一下人類科學史上最強的人物John von Neumann能力有多強(對,我沒有寫之一,因為我在一本書上看到過,按智力劃分的話他不能算做人類)

引用指數總計 2010 年至今

引用90082 28711

h 指數86 55

i10 指數214 131

圖靈當年在美國普林斯頓是給他打工當助手的,所以這個級別一定是拿不到圖靈獎的了。應該是圖靈拿約翰獎才對。另外:我覺得香農可跟約翰放在一個級別,雖然可能要比約翰要低一些。

再來看看計算機科學之父圖靈本人Alan Turing的數據

引用指數

總計 2010 年至今

引用 45623 11585

h 指數 84 25

i10 指數105 37

引用數在4萬多基本你就可以自立一個獎項了。

下面來看2007年圖靈獎得主Joseph Sifakis的引用 ,他是搞Model Checking形式化方法的,跟Clark一起得的獎,學過這門課所以知道。

引用指數總計 2010 年至今

引用15409 5444

h 指數56 34

i10 指數115 85

一般達到這種級別就可以得獎了。

那麼再來看看Simon Peyton Jones, Philip Wadler跟John Hughes的

引用指數總計 2010 年至今

引用16100 5792

h 指數62 37

i10 指數145 100

引用指數總計 2010 年至今

引用20824 4975

h 指數64 32

i10 指數122 75

引用指數總計 2010 年至今

引用 7532 2277

h 指數 31 23

i10 指數 58 31

所以,我可以負責地說,前兩位,Simon Peyton Jones還有Philips Wadler得圖靈獎是綽綽有餘的,不確定的只是什麼時候發獎還有是不是放在一起發的問題。John Hughes並不確定能否得獎,個人也覺得他的貢獻雖然也挺多,但是開創性的比起前兩人位少了些。


做人嘞最緊要開心 ( ゜- ゜)つロ 乾杯~


Philip Wadler在上世紀有不少對Haskell和函數式編程的重要貢獻,但是年事已高,已經不太活躍了;John Hughes也是,上次比較重量級的工作應該是2000年左右的Arrow相關論文;只有SPJ至今在學術界和社區都一直活躍,發表物不斷。。SPJ和Philip Wadler應該都有希望。

另外這題漏掉Paul Hudak真是殘念,雖然Hudak斯人已逝,實在可惜。。


推薦閱讀:

函數式語言具體應用是什麼?
自學函數式語言(特指Haskell)需要什麼條件?
如果讓你來重新設計(或者改造)Haskell,你打算怎麼設計或者修改?
Hindley-Milner 是什麼以及函數式編程中它的用途是什麼?
柯里化在工程中有什麼好處?

TAG:函數式編程 | 理論計算機科學 |