日韩无码专区无码一级三级片|91人人爱网站中日韩无码电影|厨房大战丰满熟妇|AV高清无码在线免费观看|另类AV日韩少妇熟女|中文日本大黄一级黄色片|色情在线视频免费|亚洲成人特黄a片|黄片wwwav色图欧美|欧亚乱色一区二区三区

• 警告：原文中的內(nèi)容不一定都是真實(shí)的。
• 警告：非加粗部分不屬于原文，是翻譯君為了便于讀者讀懂原文擅自所加的注解。當(dāng)然，也不能保證一定都是真實(shí)的。
• 為了照顧那些幽默感退化的人們，維基百科有一個(gè)主題關(guān)于：History of programming languages。

1801 – Joseph Marie Jacquard用打孔卡為一臺(tái)織布機(jī)編寫指令，在掛毯上織出了“hello, world”字樣。當(dāng)時(shí)的reddit網(wǎng)友對(duì)這項(xiàng)工作的反響并不熱烈，因?yàn)樗热鄙傥策f歸調(diào)用，又不支持并發(fā)，而且甚至都沒有注意在拼寫時(shí)恰當(dāng)?shù)貐^(qū)分大小 寫。

成都創(chuàng)新互聯(lián)長(zhǎng)期為千余家客戶提供的網(wǎng)站建設(shè)服務(wù)，團(tuán)隊(duì)從業(yè)經(jīng)驗(yàn)10年，關(guān)注不同地域、不同群體，并針對(duì)不同對(duì)象提供差異化的產(chǎn)品和服務(wù)；打造開放共贏平臺(tái)，與合作伙伴共同營(yíng)造健康的互聯(lián)網(wǎng)生態(tài)環(huán)境。為湖南企業(yè)提供專業(yè)的做網(wǎng)站、網(wǎng)站制作，湖南網(wǎng)站改版等技術(shù)服務(wù)。擁有十年豐富建站經(jīng)驗(yàn)和眾多成功案例,為您定制開發(fā)。

• Jacquard織布機(jī)是第一臺(tái)可進(jìn)行程序控制的織布機(jī)。用打孔卡進(jìn)行編程的概念，直到電子計(jì)算機(jī)被發(fā)明出來(lái)之后仍然被廣泛運(yùn)用。
• 最早的Hello World程序（出自K&R C）打印的是全小寫的字符串："hello, world"。
• 在許多英文技術(shù)社區(qū)里，不正確地使用大小寫發(fā)貼會(huì)被視作是小白的行為。（如把“Python”拼作“python”，把“FreeBSD”拼作“freebsd”，把“Qt”拼作“QT”）
• reddit / Hacker News的月經(jīng)帖標(biāo)題：“.*: a new .*-based .* programming language”。底下常見的回帖形式：“它支持并發(fā)嗎？”“沒有尾調(diào)用優(yōu)化果斷差評(píng)。”“現(xiàn)在的編程語(yǔ)言已經(jīng)足夠多了，為什么我們還需要更多的語(yǔ)言？”……

1842 – Ada Lovelace寫了世界上第一個(gè)程序。她的努力只遇到了一點(diǎn)點(diǎn)小小的麻煩，那就是：實(shí)際上并沒有任何計(jì)算機(jī)能夠用來(lái)運(yùn)行她的程序。后來(lái)的企業(yè)架構(gòu)師們重新吸收了她的這個(gè)技能，用來(lái)學(xué)習(xí)如何更好地使用UML進(jìn)行編程。

• Ada Lovelace為Charles Babbage的分析機(jī)寫了一個(gè)計(jì)算伯努利數(shù)的算法實(shí)現(xiàn)，因此被后世公認(rèn)為是世界上第一個(gè)程序員。實(shí)際上，分析機(jī)由于其設(shè)計(jì)思想過于先進(jìn)，在當(dāng)時(shí)根本沒有 被制造出來(lái)。（Babbage的分析機(jī)一般被認(rèn)為是現(xiàn)代電子通用計(jì)算機(jī)的先驅(qū)）
• 諷刺現(xiàn)在的某些“軟件架構(gòu)師”頂多只會(huì)紙上談兵地畫畫UML。

1936 – Alan Turing發(fā)明了世間一切程序語(yǔ)言的最終形態(tài)，但很快他就被英國(guó)軍情六處“請(qǐng)”去當(dāng)007了，以至于他根本來(lái)不及為這些語(yǔ)言申請(qǐng)專利。

• 與通用圖靈機(jī)（Universal Turing machine）等價(jià)的語(yǔ)言被稱為圖靈完備的（Turing completeness），它定義了“什么樣的語(yǔ)言可以被稱作是程序語(yǔ)言”。
• 二戰(zhàn)期間Turing曾秘密地為英國(guó)軍方工作，破解德軍的Enigma密碼機(jī)，并在戰(zhàn)后被授予大英帝國(guó)勛章。但這項(xiàng)事實(shí)直到多年以后才向公眾公開。

1936 – Alonzo Church同時(shí)也發(fā)明了世間一切程序語(yǔ)言的最終形態(tài)，甚至做得更好。但他的λ演算被絕大部分人忽視了，因?yàn)樗cC語(yǔ)言“不夠像”。盡管存在著這樣的批評(píng)，但事實(shí)上，C在當(dāng)時(shí)還沒有被發(fā)明出來(lái)。

• Church是Turing在Princeton的博士生導(dǎo)師，他在λ演算方面的工作先于Turing指出了不存在一個(gè)對(duì)可判定性問題的通用解法，這后來(lái)證明和Turing針對(duì)停機(jī)問題提出的圖靈機(jī)模型是等價(jià)的。即著名的Church-Turing論題。
• 說Church“甚至做得更好”，因?yàn)棣搜菟銥楹笫浪械暮瘮?shù)式語(yǔ)言提供了理論基礎(chǔ)。
• 現(xiàn)在一種常見的關(guān)于函數(shù)式編程的批評(píng)就是：“它們與C語(yǔ)言不夠像”。

1940年代 – 一些直接采用布線和開關(guān)來(lái)進(jìn)行程序控制的“計(jì)算機(jī)”出現(xiàn)了。工程師們當(dāng)時(shí)這么做，據(jù)說是為了避開“用空格還是用制表符縮進(jìn)”這樣的論戰(zhàn)。

• 據(jù)說當(dāng)時(shí)負(fù)責(zé)設(shè)計(jì)ENIAC的工程師中間曾經(jīng)發(fā)生過這樣的爭(zhēng)論：

1. 空格比制表符好。
2. 制表符比空格好。
3. 4個(gè)空格比8個(gè)空格好。
4. 什么？用2個(gè)空格的統(tǒng)統(tǒng)燒死。

• 關(guān)于這臺(tái)具有里程碑意義的人類史上第一臺(tái)電子計(jì)算機(jī)ENIAC上應(yīng)該預(yù)裝何種編輯器，工程師們還發(fā)生過這樣的爭(zhēng)吵：

1. Vim比Emacs好！
2. Emacs比Vim好！
3. 強(qiáng)烈推薦Sublime Text。
4. 你丫用編輯器的都是找虐，IDE才是王道。
5. 沒錯(cuò)，要用就用世界上最好的公司微軟開發(fā)出來(lái)的世界上最好的IDE：Visual Studio。
6. 我早就看透了無(wú)謂的編輯器論戰(zhàn)什么的了，我要告訴樓上吵架的，你們?nèi)际巧当疲?/li>

• 最后，工程師們一致決定使用布線和開關(guān)來(lái)為他們即將發(fā)明的計(jì)算機(jī)進(jìn)行編程，機(jī)智地避開了所有這些無(wú)謂的爭(zhēng)吵，最終齊心協(xié)力創(chuàng)造出了人類歷史上第一臺(tái)電子計(jì)算機(jī)：ENIAC。（鼓掌

• （圖：兩位ENIAC程序員在運(yùn)用敏捷開發(fā)方法進(jìn)行愉快的結(jié)對(duì)編程。 “自從拋棄伴隨我多年的Emacs和HHKB Pro、改用布線和開關(guān)進(jìn)行編程之后，我的左手小指麻痹奇跡般地痊愈了?！逼渲幸晃唤邮懿稍L時(shí)如是說。另一位則表示：“新的編程方式讓曾經(jīng)專注頸椎病20 年的我得到了徹底的康復(fù)，不用再整天盯著顯示屏，身心同時(shí)得到了極大的放松，值得大力推廣！”）

1957 – John Backus和IBM發(fā)明了FORTRAN語(yǔ)言。關(guān)于IBM或FORTRAN并沒有什么特別好笑的地方。除了，寫FORTRAN程序的時(shí)候不系藍(lán)領(lǐng)帶將被編譯器視作是一個(gè)syntax error。

• 藍(lán)領(lǐng)帶、白襯衫、深色西裝似乎是IBM公司20世紀(jì)經(jīng)典的dress code。
• 早期FORTRAN（FORTRAN 77）對(duì)程序書寫格式的要求那是相當(dāng)嚴(yán)格。（例如，蛋疼的固定格式縮進(jìn)）

1958 – John McCarthy和Paul Graham發(fā)明了LISP。由于冷戰(zhàn)期間的戰(zhàn)略括號(hào)資源儲(chǔ)備所造成的巨大成本，LISP從未流行過。盡管欠缺足夠的流行度，LISP（現(xiàn)在叫做“Lisp”，有時(shí)叫“Arc”）仍然被視作一門有影響力的語(yǔ)言，在關(guān)鍵的算法思想諸如遞歸（recursion）和提升逼格（condescension）上尤為典范。

（原文的腳注：

1. 幸運(yùn)的是對(duì)于計(jì)算機(jī)科學(xué)來(lái)說，花括號(hào)和尖括號(hào)的供應(yīng)尚充足。
2. “關(guān)鍵的算法思想”這一說法來(lái)自于Verity Stob的Catch as catch can。）

• 戰(zhàn)略括號(hào)儲(chǔ)備：據(jù)信是因?yàn)榭烁癫獙?duì)于他們費(fèi)盡千辛萬(wàn)苦搜集到的程序片段全都是括號(hào)感到極端憤怒，于是封鎖了世界各地的括號(hào)礦產(chǎn)資源，導(dǎo)致白宮方面不得不加強(qiáng)戰(zhàn)略濃縮括號(hào)的儲(chǔ)備。（誤
• LISP發(fā)明的那一年P(guān)aul Graham其實(shí)還沒有出生。據(jù)說是因?yàn)槟潮窘凶觥禜aste and Waste》的偽程裝黑圣典實(shí)在太有名了，以至于許多編程小白們把寫這本書的傳奇人物同Lisp之間畫上了等號(hào)。
• 提升逼格確實(shí)是一種與遞歸調(diào)用同樣關(guān)鍵的算法思想。嗯，你懂的。

1959 – 在輸?shù)袅撕蚅. Ron Hubbard之間的一場(chǎng)打賭之后，Grace Hopper和其他幾個(gè)抖S發(fā)明了所謂的“面向Boilerplate的全大寫化語(yǔ)言（Capitalization Of Boilerplate Oriented Language，COBOL）”。多年以后，由于一些被誤導(dǎo)的、性別歧視主義者對(duì)Adm. Hopper關(guān)于COBOL的工作的報(bào)復(fù)，在Ruby技術(shù)會(huì)議上不時(shí)會(huì)看到一些厭女主義乃至仇視女性的材料出現(xiàn)。

• L. Ron Hubbard是山達(dá)基教（Scientology）的創(chuàng)始人，二戰(zhàn)期間曾與Grace Hopper同樣供職于美國(guó)海軍。（尚不清楚這兩人之間有無(wú)其他聯(lián)系）
• COBOL語(yǔ)言以代碼極其冗長(zhǎng)和通篇大寫字母的書寫風(fēng)格而聞名。
• Adm. Hopper：Grace Murray Hopper女士的軍銜是Rear Admiral Lower Half，即美國(guó)海軍準(zhǔn)將。
• Ruby技術(shù)會(huì)議與性別歧視：在09年的GoGaRuCo會(huì)議上，有人做了一場(chǎng)題為“CouchDB perform like a pr0n star”的 報(bào)告，幻燈片演示中使用了大量色情材料，引起了在場(chǎng)的少數(shù)女性觀眾的極大不適（“This was a national conference, not a gathering of teenager boys in a smelly upstairs bedroom!”）。會(huì)后，DHH（Ruby on Rails的作者）發(fā)推表示“it’s “absolutely” appropriate to use porn in a business presentation”。關(guān)于其他更多技術(shù)會(huì)議上出現(xiàn)的性別歧視事件，參見這里。

1964 – John Kemeny和Thomas Kurtz創(chuàng)造了BASIC，一個(gè)為非計(jì)算機(jī)科學(xué)家設(shè)計(jì)的非結(jié)構(gòu)化的程序語(yǔ)言。

1965 – Kemeny和Kurtz兩人goto到了1964。

• 調(diào)侃BASIC語(yǔ)言對(duì)行號(hào)和goto的無(wú)節(jié)制濫用。

#p#

1970 – Guy Steele和Gerald Sussman創(chuàng)造了Scheme。他們的工作導(dǎo)致了一系列以《Lambda之究極（Lambda the Ultimate）……》為標(biāo)題開頭的論文發(fā)表，并在《Lambda之究極廚房神器》這一篇中達(dá)到了最高潮。以這篇論文為基礎(chǔ)，開始了一個(gè)長(zhǎng)年累月的、收 視率究極失敗的晚間電視購(gòu)物節(jié)目。Lambda們因?yàn)槠涓拍钕鄬?duì)難以理解而被大眾所忽視，直到未來(lái)的某一天，Java語(yǔ)言終于讓它們變得有名了起來(lái)。通過 不包含它們這件事情。

• Lambda之究極神器系列：（Lambda之究極命令式編程、Lambda之究極宣告式編程、Lambda之究極GOTO語(yǔ)句、Lambda之究極Opcode）

1. Guy Lewis Steele, Jr. and Gerald Jay Sussman. “Lambda: The Ultimate Imperative”). MIT AI Lab. AI Lab Memo AIM-353. March 1976.
2. Guy Lewis Steele, Jr.. “Lambda: The Ultimate Declarative”. MIT AI Lab. AI Lab Memo AIM-379. November 1976.
3. Guy Lewis Steele, Jr.. “Debunking the ‘Expensive Procedure Call’ Myth, or, Procedure Call Implementations Considered Harmful, or, Lambda: The Ultimate GOTO”. MIT AI Lab. AI Lab Memo AIM-443. October 1977.
4. Guy Lewis Steele, Jr. and Gerald Jay Sussman. “Design of LISP-based Processors, or SCHEME: A Dielectric LISP, or Finite Memories Considered Harmful, or LAMBDA: The Ultimate Opcode”. MIT AI Lab. AI Lab Memo AIM-514. March 1979.
5. 后來(lái)大概有人覺得每次都投一篇正式的paper太麻煩了，于是干脆專門開了一個(gè)博客，名字就叫做Lambda the Ultimate。這樣他們將來(lái)要發(fā)《Lambda之究極割草機(jī)》《Lambda之究極廁所皮拔子》這樣的營(yíng)銷廣告就更加方便了。

• 長(zhǎng)年累月的收視率究極失敗的晚間電視購(gòu)物節(jié)目：也許是在暗諷MIT專注用SICP作為教給CS學(xué)生的第一門編程課20余年。
• 眾Java程序員：聽說Java 8要開始支持lambda了，想來(lái)Java真是極先進(jìn)的……等一下，我先看看lambda是個(gè)啥玩意？

1. 于是lambda這個(gè)“新鮮貨”就一下子在主流業(yè)界變得流行起來(lái)了。

1970 – Niklaus Wirth創(chuàng)造了Pascal，一個(gè)過程式的語(yǔ)言。很快就有人開始聲討Pascal，因?yàn)樗褂昧祟愃啤?code>x := x + y”這樣的語(yǔ)法，而不是更為人熟知的類C語(yǔ)法“x = x + y”。盡管存在著這樣的批評(píng)，而事實(shí)上當(dāng)時(shí)C還沒有被發(fā)明出來(lái)。

1972 – Dennis Ritchie發(fā)明了一把射擊時(shí)能同時(shí)向前和向后兩個(gè)方向發(fā)射子彈的絕世好槍。但他對(duì)此發(fā)明造成的致死和終身殘疾數(shù)量感到還不夠滿意，所以他又發(fā)明了C語(yǔ)言和Unix。

• 翻譯君：……

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

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

• SML的形式語(yǔ)義規(guī)范事實(shí)上被寫成了這樣一本書（SML’97）：《The Definition Of Standard ML》。
• ML明顯是建立在H-M（Hindley–Milner）類型推斷的基礎(chǔ)上的，不太清楚原文所說的M&M類型理論是在吐槽神馬……

• Visual Basic近年來(lái)吸收了函數(shù)式編程里的不少東西（不知道是不是因?yàn)槭艿搅薋#影響的緣故）。最典型的是它具備和ML相似的類型推斷。

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

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