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 55i10 指數214 131圖靈當年在美國普林斯頓是給他打工當助手的,所以這個級別一定是拿不到圖靈獎的了。應該是圖靈拿約翰獎才對。另外:我覺得香農可跟約翰放在一個級別,雖然可能要比約翰要低一些。
再來看看計算機科學之父圖靈本人Alan Turing的數據
引用指數總計 2010 年至今引用 45623 11585h 指數 84 25
i10 指數105 37引用數在4萬多基本你就可以自立一個獎項了。
下面來看2007年圖靈獎得主Joseph Sifakis的引用 ,他是搞Model Checking形式化方法的,跟Clark一起得的獎,學過這門課所以知道。
引用指數總計 2010 年至今
引用15409 5444h 指數56 34i10 指數115 85一般達到這種級別就可以得獎了。那麼再來看看Simon Peyton Jones, Philip Wadler跟John Hughes的
引用指數總計 2010 年至今
引用16100 5792h 指數62 37i10 指數145 100引用指數總計 2010 年至今
引用20824 4975h 指數64 32i10 指數122 75引用指數總計 2010 年至今
引用 7532 2277h 指數 31 23i10 指數 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 是什麼以及函數式編程中它的用途是什麼?
※柯里化在工程中有什麼好處?