編程語言的發(fā)展歷史 (2)

　　1972 - Alain Colmerauer設(shè)計了邏輯編程語言Prolog。他的目標(biāo)是創(chuàng)造一個具有兩歲小孩智商的程序語言。為了證明他成功達到了這個目標(biāo)，他展示了一個Prolog程序，它對于每條查詢都會機智地給出相同的回答：“No”。

　　1973 - Robin Milner創(chuàng)造了ML，一個建立在M&M類型理論基礎(chǔ)上的語言。由ML衍生而來的SML加上了一套形式語義的規(guī)范。當(dāng)被要求給這個形式語義本身 書寫一套形式語義時，Milner的腦子爆掉了。其他ML家族的著名語言還包括OCaml，F(xiàn)#，和，Visual Basic。

　　1980 - Alan Kay創(chuàng)造了Smalltalk并發(fā)明了“面向?qū)ο?rdquo;這個詞。當(dāng)被問到它的含義時，他回答道：“Smalltalk程序本身就是對象。”當(dāng)被問到對象是由 什么組成時，他回答到：“對象。”當(dāng)再一次被問到這個問題時，他說“看，它從里到外都是對象。直到你抽出一只烏龜。”

　　Smalltalk的設(shè)計從很大程度上受到了Logo的影響。

　　1983 - 為了紀(jì)念偉大的先輩程序員Ada Lovelace那能夠?qū)懗鲇肋h也無法被執(zhí)行的代碼的彪悍技能，Jean Ichbiah和美國國防部創(chuàng)造了Ada語言。盡管缺乏證據(jù)顯示有任何重要的Ada程序曾經(jīng)被完成過，歷史學(xué)家仍然確信Ada是個成功的公益項目，它讓數(shù) 以千計的國防承包商免于淪落為與黑幫為伍。

　　Ada曾經(jīng)是美國國防部指定的嵌入式計算機系統(tǒng)唯一開發(fā)語言，在其研發(fā)上耗資巨大。（國防承包商們于是不用靠販賣軍火給黑幫來維持生計了）

　　雖然有充分的證據(jù)顯示Ada的整型范圍溢出檢查失敗導(dǎo)致弄壞了歐空局的一枚Ariane 5運載火箭，不過美國國防部發(fā)言人對此表示：關(guān)我P事。

　　1983 - Bjarne Stroustrup把他所聽說過的一切都試圖嫁接到C上，創(chuàng)造出了C++。最后得到的語言是如此地復(fù)雜，以至于程序必須被送到未來去讓“天網(wǎng)”人工智能 進行編譯。編譯時間難以容忍。天網(wǎng)開展這項服務(wù)的動機仍然不為人知，但來自未來的發(fā)言人說道：“沒什么好擔(dān)心的，寶貝。”帶著一口奧地利腔的機械口音。有 一些來自坊間的推測，所謂的天網(wǎng)只不過是個自命不凡的緩沖區(qū)溢出而已。

　　1986 - Brad Cox和Tom Love創(chuàng)造了Objective-C，宣稱“該語言完美地結(jié)合了C的內(nèi)存安全性與Smalltalk的神奇效率”�，F(xiàn)在的歷史學(xué)家懷疑這兩人其實是誦讀障礙癥患者。

　　“C的內(nèi)存安全性十分好”。

　　Smalltalk編譯出來的程序以低效緩慢著稱。

　　1987 - Larry Wall在電腦前打了個盹，Larry Wall的腦門子壓到了鍵盤上。醒來之后，Larry Wall深信 ，在Larry Wall的顯示器上出現(xiàn)的神秘字符串并非是隨機的，那是某種編程語言之程序樣例的神諭。那必是上帝要他的先知，Larry Wall，去設(shè)計的。Perl語言就此誕生了。

　　1990 - 一個由Simon Peyton-Jones、Paul Hudak、Philip Wadler、Ashton Kutcher和善待動物組織（PETA）組成的委員會創(chuàng)造了Haskell，一種純函數(shù)式的、非嚴(yán)求值的語言。Haskell由于使用了Monad這種 較費解的概念來控制副作用而遭到了一些批評意見。Wadler試圖平息這些質(zhì)疑，他解釋說：“一個單子（Monad）說白了不過就是自函子范疇上的一個幺 半群而已，這有什么難以理解的？”

　　1991 - 荷蘭程序員Guido van Rossum為了一次神秘的手術(shù)而進行了一次阿根廷之旅�；貋砗笏麕е�一個巨大的顱疤，發(fā)明了Python，而被數(shù)以軍團計的追隨者們加冕為“終生大獨裁 者”，并向全世界宣布“要辦到一件事情，只可有唯一的一種方法！”。整個波蘭陷入了恐慌。

　　BDFL（Benevolent Dictator for Life）：開源社區(qū)一種流行的說法，“仁慈的”終生大獨裁者。這個說法最早指的就是Guido van Rossum。

　　希特勒在提出建立“純正的雅利安人國家”“統(tǒng)一的大德意志帝國”并實現(xiàn)了德奧合并之后，翌年便入侵了波蘭，引發(fā)了第二次世界大戰(zhàn)。“我一個人征服了整個歐洲！”（感覺好棒好棒的）

　　1995 - 在家門口附近的一個意大利飯館用餐時，Rasmus Lerdorf意識到他吃的那盤意面正好是一個用來理解WWW萬維網(wǎng)的極好模型，而所有的Web應(yīng)用都應(yīng)該仿照它們的媒介那樣去做。在他的餐巾的背后，他 設(shè)計出了著名的“可編程超鏈接Pasta（Programmable Hyperlinked Pasta，PHP）”語言。PHP的文檔至今仍然保留在那片餐巾上。

　　PHP最顯著的特點就是：代碼是可以直接嵌在HTML文檔中的。

　　1995 - 松本“Mad Matz”行弘創(chuàng)造出了Ruby語言，用來辟謠一些意味不明的、有關(guān)澳洲將會變成一片由莫霍克族戰(zhàn)士和Tina Turner統(tǒng)治的荒漠的末世預(yù)言。該語言后來被它的真正發(fā)明者David Heinemeier Hansson重新命名為Ruby on Rails。（關(guān)于某個叫松本行弘的人發(fā)明了一種叫做Ruby的語言這件事情從未發(fā)生過，最好在這篇文章的下一個版本中刪掉。 - DHH表示）

　　最早關(guān)于Ruby的國際會議不是RubyConf，而是每年在澳大利亞舉辦的OSDConf。

　　這里應(yīng)該是在吐槽Ruby的殺手級應(yīng)用Ruby on Rails實在太有名了，以至于超越了原來的Ruby語言本身。

　　Matz并沒有為“Ruby”這個名字注冊商標(biāo)——本著開源的黑客精神。

　　而DHH（RoR的作者）卻把“Ruby on Rails”這個（包含了“Ruby”字樣的）名稱注冊成了商標(biāo)，并且阻止別人未經(jīng)授權(quán)使用“Rails”這個名字。

　　（雖然搶注商標(biāo)對開源來說未必是一件壞事情——Python基金會今年在歐洲還卷入了一場商標(biāo)之爭了不是）

　　假如你從來沒聽說過的話，莫霍克族戰(zhàn)士據(jù)說是像這個樣子的：

　　1995 - Brendan Eich讀完了歷史上所有在程序語言設(shè)計中曾經(jīng)出現(xiàn)過的錯誤，自己又發(fā)明了一些更多的錯誤，然后用它們創(chuàng)造出了LiveScript。之后，為了緊跟 Java語言的時髦潮流，它被重新命名為JavaScript。再然后，為了追隨一種皮膚病的時髦潮流，這語言又被命名為ECMAScript。

　　1996 - James Gosling發(fā)明了Java。Java是一個相對繁冗的、帶垃圾收集的、基于類的、靜態(tài)類型的、單分派的面向?qū)ο笳Z言，擁有單實現(xiàn)繼承和多接口繼承。Sun不遺余力地宣傳著Java的獨一無二不同凡響之處。

　　2001 - Anders Hejlsberg發(fā)明了C#。C#是一個相對繁冗的、帶垃圾收集的、基于類的、靜態(tài)類型的、單分派的面向?qū)ο笳Z言，擁有單實現(xiàn)繼承和多接口繼承。微軟不遺余力地宣傳著C#的獨一無二不同凡響之處。

　　2003 - 一個叫Martin Odersky的醉漢看見了好時瑞森花生醬杯的廣告，展示了某個人的花生醬倒入另一個人的巧克力的場景，他忽然有了個點子。他創(chuàng)造了Scala，一種結(jié)合 了面向?qū)ο蠛秃瘮?shù)式編程的語言。這同時激怒了兩個陣營的忠實信徒，他們立刻宣布要發(fā)動圣戰(zhàn)燒死異教徒。

　　相關(guān)推薦：

小升初試題、期中期末題、小學(xué)奧數(shù)題

盡在奧數(shù)網(wǎng)公眾號

　　 歡迎使用手機、平板等移動設(shè)備訪問幼教網(wǎng)，幼兒教育我們一路陪伴同行！>>點擊查看