作者:孙北吉
链接:https://www.zhihu.com/question/19811764/answer/19206777
来源:知乎
1801
Joseph Marie Jacquard用打孔卡为一台织布机编写指令,在挂毯上织出了“hello, world”字样。当时的reddit网友对这项工作的反响并不热烈,因为它既缺少尾递归调用,又不支持并发,而且甚至都没有注意在拼写时恰当地区分大小写。
Jacquard织布机是九游官方平台第一台可进行程序控制的织布机。用打孔卡进行编程的概念,直到电子计算机被发明出来之后仍然被广泛运用。
最早的Hello World程序(出自K&R C)打印的是全小写的字符串:"hello, world"。
在许多英文技术社区里,不正确地使用大小写发贴会被视作是小白的行为。(如把“Python”拼作“python”,把“FreeBSD”拼作“freebsd”,把“Qt”拼作“QT”)
reddit / Hacker News的月经帖标题:“.*: a new .*-based .* programming language”。底下常见的回帖形式:“它支持并发吗?”“没有尾调用优化果断差评。”“现在的编程语言已经足够多了,为什么我九游官方网站们还需要更多的语言?”……
1842
Ada Lovelace写了世界上第一个程序。她的努力只遇到了一点点小小的麻烦,那就是:实际上并没有任何计算机能够用来运行她的程序。后来的企业架构师们重新吸收了她的这个技能,用来学习如何更好地使用UML进行编程。
Ada Lovelace为Charles Babbage的分析机写了一个计算伯努利数的算法实现,因此被后世公认为是世界上第一个程序员。实际上,分析机由于其设计思想过于先进,在当时根本没有被制造出来。(Babbage的分析机一般被认为是现代电子通用计算机的先驱)
讽刺现在的某些“软件架构师”顶多只会纸上谈兵地画画UML。
1936
Alan Turing发明了世间一切程序语言的最终形态,但很快他就被英国军情六处“请”去当007了,以至于他根本来不及为这些语言申请专利。
与通用图灵机(Universal Turing machine)等价的语言被称为图灵完备的(Turing completeness),它定义了“什么样的语言可以被称作是程序语言”。
二战期间Turing曾秘密地为英国军方工作,破解德军的Enigma密码机,并在战后被授予大英帝国勋章。但这项事实直到多年以后才向公众公开。
1936
Alonzo Church同时也发明了世间一切程序语言的最终形态,甚至做得更好。但他的λ演算被绝大部分人忽视了,因为它与C语言“不够像”。尽管存在着这样的批评,但事实上,C在当时还没有被发明出来。
Church是Turing在Princeton的博士生导师,他在λ演算方面的工作先于Turing指出了不存在一个对可判定性问题的通用解法,这后来证明和Turing针对停机问题提出的图灵机模型是等价的。即著名的Church-Turing论题。
说Church“甚至做得更好”,因为λ演算为后世所有的函数式语言提供了理论基础。
现在一种常见的关于函数式编程的批评就是:“它们与C语言不够像”。
1940年代
一些直接采用布线和开关来进行程序控制的“计算机”出现了。工程师们当时这么做,据说是为了避开“用空格还是用制表符缩进”这样的论战。
据说当时负责设计ENIAC的工程师中间曾经发生过这样的争论:
空格比制表符好。
制表符比空格好。
4个空格比8个空格好。
什么?用2个空格的统统烧死。
关于这台具有里程碑意义的人类史上第一台电子计算机ENIAC上应该预装何种编辑器,工程师们还发生过这样的争吵:
Vim比Emacs好!
Emacs比Vim好!
强烈推荐Sublime Text。
你丫用编辑器的都是找虐,IDE才是王道。
没错,要用就用世界上最好的公司微软开发出来的世界上最好的IDE:Visual Studio。
我九游早就看透了无谓的编辑器论战什么的了,我要告诉楼上吵架的,你们全都是傻逼!
最后,工程师们一致决定使用布线和开关来为他们即将发明的计算机进行编程,机智地避开了所有这些无谓的争吵,最终齐心协力创造出了人类历史上第一台电子计算机:ENIAC。(鼓掌
<span style="font-size: 14px;"><span style="font-family: 微软雅黑;"><img src="https://pic1.zhimg.com/d68f666665dedd412ddebed585cb781c_b.jpg" data-rawwidth="640" data-rawheight="417" class="origin_image zh-lightbox-thumb" width="640" data-original="https://pic1.zhimg.com/d68f666665dedd412ddebed585cb781c_r.jpg"></span></span>
(图:两位ENIAC程序员在运用敏捷开发方法进行愉快的结对编程。“自从抛弃伴随我多年的Emacs和HHKB Pro、改用布线和开关进行编程之后,我的左手小指麻痹奇迹般地痊愈了。”其中一位接受采访时如是说。另一位则表示:“新的编程方式让曾经专注颈椎病20年的我得到了彻底的康复,不用再整天盯着显示屏,身心同时得到了极大的放松,值得大力推广!”)
1958
John McCarthy和Paul Graham发明了LISP。由于冷战期间的战略括号资源储备所造成的巨大成本,LISP从未流行过。尽管欠缺足够的流行度,LISP(现在叫做“Lisp”,有时叫“Arc”)仍然被视作一门有影响力的语言,在关键的算法思想诸如递归(recursion)和提升逼格(condescension)上尤为典范。
(原文的脚注:
幸运的是对于计算机科学来说,花括号和尖括号的供应尚充足。
“关键的算法思想”这一说法来自于Verity Stob的Catch as catch can。)
战略括号储备:据信是因为克格勃对于他们费尽千辛万苦搜集到的程序片段全都是括号感到极端愤怒,于是封锁了世界各地的括号矿产资源,导致白宫方面不得不加强战略浓缩括号的储备。(误
LISP发明的那一年Paul Graham其实还没有出生。据说是因为某本叫做《Haste and Waste》的伪程装黑圣典实在太有名了,以至于许多编程小白们把写这本书的传奇人物同Lisp之间画上了等号。
提升逼格确实是一种与递归调用同样关键的算法思想。嗯,你懂的。
1964
John Kemeny和Thomas Kurtz创造了BASIC,一个为非计算机科学家设计的非结构化的程序语言。
1970
Niklaus Wirth创造了Pascal,一个过程式的语言。很快就有人开始声讨Pascal,因为它使用了类似“x := x + y”这样的语法,而不是更为人熟知的类C语法“x = x + y”。尽管存在着这样的批评,而事实上当时C还没有被发明出来。
1972
Dennis Ritchie发明了一把射击时能同时向前和向后两个方向发射子弹的绝世好枪。但他对此发明造成的致死和终身残疾数量感到还不够满意,所以他又发明了C语言和Unix。
1972
Alain Colmerauer设计了逻辑编程语言Prolog。他的目标是创造一个具有两岁小孩智商的程序语言。为了证明他成功达到了这个目标,他展示了一个Prolog程序,它对于每条查询都会机智地给出相同的回答:“No”。
1980
Alan Kay创造了Smalltalk并发明了“面向对象”这个词。当被问到它的含义时,他回答道:“Smalltalk程序本身就是对象。”当被问到对象是由什么组成时,他回答到:“对象。”当再一次被问到这个问题时,他说“看,它从里到外都是对象。直到你抽出一只乌龟。”
Smalltalk的设计从很大程度上受到了Logo的影响。
1983
为了纪念伟大的先辈程序员Ada Lovelace那能够写出永远也无法被执行的代码的彪悍技能,Jean Ichbiah和美国国防部创造了Ada语言。尽管缺乏证据显示有任何重要的Ada程序曾经被完成过,历史学家仍然确信Ada是个成功的公益项目,它让数以千计的国防承包商免于沦落为与黑帮为伍。
Ada曾经是美国国防部指定的嵌入式计算机系统唯一开发语言,在其研发上耗资巨大。(国防承包商们于是不用靠贩卖军火给黑帮来维持生计了)
虽然有充分的证据显示Ada的整型范围溢出检查失败导致弄坏了欧空局的一枚Ariane 5运载火箭,不过美国国防部发言人对此表示:关我P事。
1983
Bjarne Stroustrup把他所听说过的一切都试图嫁接到C上,创造出了C++。最后得到的语言是如此地复杂,以至于程序必须被送到未来去让“天网”人工智能进行编译。编译时间难以容忍。天网开展这项服务的动机仍然不为人知,但来自未来的发言人说道:“没什么好担心的,宝贝。”带着一口奥地利腔的机械口音。有一些来自坊间的推测,所谓的天网只不过是个自命不凡的缓冲区溢出而已。
这篇文章写出来的时候,一个被称作C++0x的新标准还遥遥无期。许多编译器对它的支持似乎永远停留在“partial”阶段。
请自行脑补终结者里的T-800……
无论什么都改变不了C/C++是个经典的“缓冲区溢出语言”的事实。
1986
Brad Cox和Tom Love创造了Objective-C,宣称“该语言完美地结合了C的内存安全性与Smalltalk的神奇效率”。现在的历史学家怀疑这两人其实是诵读障碍症患者。
“C的内存安全性十分好”。
Smalltalk编译出来的程序以低效缓慢著称。
1987
Larry Wall在电脑前打了个盹,Larry Wall的脑门子压到了键盘上。醒来之后,Larry Wall深信 ,在Larry Wall的显示器上出现的神秘字符串并非是随机的,那是某种编程语言之程序样例的神谕。那必是上帝要他的先知,Larry Wall,去设计的。Perl语言就此诞生了。
1991
荷兰程序员Guido van Rossum为了一次神秘的手术而进行了一次阿根廷之旅。回来后他带着一个巨大的颅疤,发明了Python,而被数以军团计的追随者们加冕为“终生大独裁者”,并向全世界宣布“要办到一件事情,只可有唯一的一种方法!”。整个波兰陷入了恐慌。
希特勒在提出建立“纯正的雅利安人国家”“统一的大德意志帝国”并实现了德奥合并之后,翌年便入侵了波兰,引发了第二次世界大战。“我一个人征服了整个欧洲!”(感觉好棒好棒的)
1995
在家门口附近的一个意大利饭馆用餐时,Rasmus Lerdorf意识到他吃的那盘意面正好是一个用来理解WWW万维网的极好模型,而所有的Web应用都应该仿照它们的媒介那样去做。在他的餐巾的背后,他设计出了著名的“可编程超链接Pasta(Programmable Hyperlinked Pasta,PHP)”语言。PHP的文档至今仍然保留在那片餐巾上。
PHP最显著的特点就是:代码是可以直接嵌在HTML文档中的。
1995
松本“Mad Matz”行弘创造出了Ruby语言,用来辟谣一些意味不明的、有关澳洲将会变成一片由莫霍克族战士和Tina Turner统治的荒漠的末世预言。该语言后来被它的真正发明者David Heinemeier Hansson重新命名为Ruby on Rails。(关于某个叫松本行弘的人发明了一种叫做Ruby的语言这件事情从未发生过,最好在这篇文章的下一个版本中删掉。- DHH表示)
最早关于Ruby的国际会议不是RubyConf,而是每年在澳大利亚举办的OSDConf。
这里应该是在吐槽Ruby的杀手级应用Ruby on Rails实在太有名了,以至于超越了原来的Ruby语言本身。
Matz并没有为“Ruby”这个名字注册商标——本着开源的黑客精神。
而DHH(RoR的作者)却把“Ruby on Rails”这个(包含了“Ruby”字样的)名称注册成了商标,并且阻止别人未经授权使用“Rails”这个名字。
(虽然抢注商标对开源来说未必是一件坏事情——Python基金会今年在欧洲还卷入了一场商标之争了不是)
假如你从来没听说过的话,莫霍克族战士据说是像这个样子的:
<span style="font-family: 微软雅黑;"><img src="https://pic1.zhimg.com/7e10cff5668a2a0ed6c27fe46f1693a0_b.jpg" data-rawwidth="960" data-rawheight="1200" class="origin_image zh-lightbox-thumb" width="960" data-original="https://pic1.zhimg.com/7e10cff5668a2a0ed6c27fe46f1693a0_r.jpg"></span>
而Tina Turner看起来是这个样子的:
<span style="font-family: 微软雅黑;"><img src="https://pic1.zhimg.com/a53e1a778eddb651f3dc2cfdd1956eac_b.jpg" data-rawwidth="670" data-rawheight="450" class="origin_image zh-lightbox-thumb" width="670" data-original="https://pic1.zhimg.com/a53e1a778eddb651f3dc2cfdd1956eac_r.jpg"></span>
1995
Brendan Eich读完了历史上所有在程序语言设计中曾经出现过的错误,自己又发明了一些更多的错误,然后用它们创造出了Live。之后,为了紧跟Java语言的时髦潮流,它被重新命名为Java。再然后,为了追随一种皮肤病的时髦潮流,这语言又被命名为ECMA。
1996
James Gosling发明了Java。Java是一个相对繁冗的、带垃圾收集的、基于类的、静态类型的、单分派的面向对象语言,拥有单实现继承和多接口继承。Sun不遗余力地宣传着Java的独一无二不同凡响之处。
2001
Anders Hejlsberg发明了C#。C#是一个相对繁冗的、带垃圾收集的、基于类的、静态类型的、单分派的面向对象语言,拥有单实现继承和多接口继承。微软不遗余力地宣传着C#的独一无二不同凡响之处。
2003
一个叫Martin Odersky的醉汉看见了好时瑞森花生酱杯的广告,展示了某个人的花生酱倒入另一个人的巧克力的场景,他忽然有了个点子。他创造了Scala,一种结合了面向对象和函数式编程的语言。这同时激怒了两个阵营的忠实信徒,他们立刻宣布要发动圣战烧死异教徒。
<span style="font-family: 微软雅黑;"><img src="https://pic4.zhimg.com/ed5e89116eb0ab80431332beaaaefc07_b.jpg" data-rawwidth="800" data-rawheight="261" class="origin_image zh-lightbox-thumb" width="800" data-original="https://pic4.zhimg.com/ed5e89116eb0ab80431332beaaaefc07_r.jpg"></span>
补充:原文的评论中有人尖锐地指出,开头提到的Jacquard可编程织布机不但支持并发(concurrency),而且是一个典型的多线程(multi-threaded)的例子。如你所见,它确实通过良好的同步机制避免了多个thread间产生竞争条件导致死锁,其实可以看作是现代操作系统最早的雏形。(目测此项科技树成果已突破天际)
在此程序哥也推荐JAVA程序员看个高端黑的电视剧《家有开源仔》
-“你们在干什么”
-“我们在看A片”
-“希望你们没有在研究java或者开源平台”
-“没有”
-“good"
光是这段对白足以吸引你去看了!
中文版预告在这:https://v.youku.com/v_show/id_XMTkxNDk2ODY0.html
程序员之家
programmer_club
▲长按二维码“识别”关注
发表评论
评论列表
Absolutely love this product! It's exactly what I needed and works perfectly. Fast shipping and great customer service. Very happy with my purchase.
Exceeded my expectations in quality and performance. Highly recommend! Great value for the price. Will definitely buy again.
This is my third time ordering from this seller, and they never disappoint. Exceeded my expectations in quality and performance. Highly recommend!