【引文】

?

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

?

??? 現在有空就會看看LISP和SML的資料，希望能夠對其的研究更近一步，一邊學習一邊對其在IT界的地位產生了很大的好奇，兩種語言的作者無疑都因為此而獲得了圖靈獎，這是除了C之外其他語言沒有享受過的殊榮，連Java、Python、Perl 這些現在熱捧的語言也沒有過。

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

?

??

?

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

生平

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

??? 2005年4月Milner曾經訪問中國。

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

貢獻

???? 他獲得圖靈獎的主要貢獻是：

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

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

??? 3. CCS，一個并發的通用理論。

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

軼事

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

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

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

?

總結

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

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。