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

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

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

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

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

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

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

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

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

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

　　Smalltalk編譯出來(lái)的程序以低效緩慢著稱(chēng)。

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

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

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

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

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

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

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

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

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

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

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

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

　�。m然搶注商標(biāo)對(duì)開(kāi)源來(lái)說(shuō)未必是一件壞事情——Python基金會(huì)今年在歐洲還卷入了一場(chǎng)商標(biāo)之爭(zhēng)了不是）

　　假如你從來(lái)沒(méi)聽(tīng)說(shuō)過(guò)的話，莫霍克族戰(zhàn)士據(jù)說(shuō)是像這個(gè)樣子的：

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

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

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

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

　　相關(guān)推薦：

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

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

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