【引文】

?

???? 在上編譯工程時第一次接觸函數(shù)程式語言，立刻就被其簡單的數(shù)學(xué)邏輯給迷住了。

?

??? 現(xiàn)在有空就會看看LISP和SML的資料，希望能夠?qū)ζ涞难芯扛徊?#xff0c;一邊學(xué)習(xí)一邊對其在IT界的地位產(chǎn)生了很大的好奇，兩種語言的作者無疑都因為此而獲得了圖靈獎，這是除了C之外其他語言沒有享受過的殊榮，連Java、Python、Perl 這些現(xiàn)在熱捧的語言也沒有過。

??? 由此可知ML這種語言在編程語言中的地位不一般，今晨獲知其作者前幾日離世，故此希望發(fā)文悼念之，緬懷其豐功偉績。

?

??

?

??????? 1991年圖靈獎得主Robin Milner于2010年3月20日（他妻子葬禮后的第三天）在英國劍橋辭世，享年76歲。他是他是英國皇家學(xué)會成員，ACM會士，美國工程院外籍院士。

生平

? ? Robin Milner出生于一個軍人家庭，早年就讀于伊頓公學(xué)。后加入英國皇家工程兵部隊，獲得少尉軍銜。1952年入讀劍橋大學(xué)國王學(xué)院，1957年畢業(yè)，之后的第一個工作是教師，然后在Ferranti公司當(dāng)程序員。此后他進(jìn)入學(xué)術(shù)界，先后在倫敦城市大學(xué)，Swansea大學(xué)，斯坦福大學(xué)任職。1973年回到英國愛丁堡大學(xué)，在愛丁堡大學(xué)任職期間，他開發(fā)了函數(shù)式編程語言ML，并和他的同事一起完成了LCF的開發(fā)。1995年，他回到母校劍橋大學(xué)任教，并擔(dān)任劍橋大學(xué)計算機實驗室主任。（來自維基百科）

??? 2005年4月Milner曾經(jīng)訪問中國。

??? 去世前，他的主要研究興趣是模型在普適計算中的系統(tǒng)應(yīng)用，和偶圖（Bigraphy）模型。

貢獻(xiàn)

???? 他獲得圖靈獎的主要貢獻(xiàn)是：

???? 1. LCF，Scott可計算函數(shù)邏輯（Logic of Computable Functions）的機械化，可能是第一個基于理論但實用的計算機輔助證明工具。

???? 2. ML，第一個具有多態(tài)的類型推演和具有類型安全異常處理機制的編程語言。其設(shè)計目的就是為了進(jìn)行LCF證明。這是一個通用的函數(shù)式語言，對語言設(shè)計的最大貢獻(xiàn)是Hindley-Milner類型推演算法，用于許多靜態(tài)語言。ML是Caml、Haskell、F#等語言的先祖。

??? 3. CCS，一個并發(fā)的通用理論。

??? 另外，他提出并發(fā)展了完全抽象，研究了操作語義和指稱語義之間的關(guān)系。

軼事

????在一次訪談中，Milner 說到自己早年在劍橋上學(xué)時，根本不知道圖靈及其成就。雖然他進(jìn)劍橋國王學(xué)院時，學(xué)院的院士之一圖靈剛剛?cè)ナ缼讉€月，雖然他的數(shù)學(xué)老師是圖靈的好友。他在大學(xué)喜歡的是羅素的分析哲學(xué)。畢業(yè)的時候雖然很多人勸他留在學(xué)校，他還是走了。更有意思的是，當(dāng)時有一堂EDSAC（早期計算機之一）編程課，卻讓他對編程產(chǎn)生了厭惡之情。而在中學(xué)當(dāng)了一年老師之后，他卻不得不違心找了一份程序員的工作。

??? 他真正對計算機產(chǎn)生興趣，還是在倫敦城市大學(xué)的時候，他對與分析哲學(xué)很密切的人工智能著了迷，并學(xué)習(xí)了C語言的先祖CPL，后來又因為研究數(shù)據(jù)庫學(xué)習(xí)了關(guān)系代數(shù)。

??? 他有一個沒有完成的夢想，是成為一名音樂家。事實上，他大學(xué)期間主要精力都花在音樂上了，他是一名非常出色的雙簧管演奏家。

?

總結(jié)

以上是生活随笔為你收集整理的悼念图灵奖得主、ML语言之父Robin Milner的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。