打开网易新闻 查看精彩图片

只有那些大神才能使用汇编搞大事情。

打开网易新闻 查看精彩图片

软件业的繁荣不能只靠几个大神,还需要千千万万的码农。

IBM公司29岁的巴科斯决心改变这种情况。

打开网易新闻 查看精彩图片

这个编程语言就是Fortran,但是当时人们对编译理论了解不多,开发工作既复杂又艰苦。

打开网易新闻 查看精彩图片

这时候,语言学家乔姆斯基对自然语言结构的研究给编译器带来了意外之喜。

打开网易新闻 查看精彩图片
打开网易新闻 查看精彩图片

1957年,经过三年的努力,Fortran编译器终于完成。

打开网易新闻 查看精彩图片

突破第一个编译器以后,高级语言便如雨后春笋般发展起来

打开网易新闻 查看精彩图片

最为知名,影响力最大的还是C和C++

打开网易新闻 查看精彩图片

编译器的理论和实践也逐渐成熟

打开网易新闻 查看精彩图片

随后甚至出现了生成编译器的生成器

打开网易新闻 查看精彩图片
打开网易新闻 查看精彩图片

Lex 和 Yacc生成的程序只是编译器的一部分,编译器的基本结构通常是分为三段。

打开网易新闻 查看精彩图片

对一个公司来说,当它开发一个编译器的时候,很少投入资金研发多种前端和后端,这就导致无法通用,无法共享。

打开网易新闻 查看精彩图片

后来,开源的GCC编译器最早打破了这种模式。

打开网易新闻 查看精彩图片

GCC开源,跨平台,支持多种前端和后端,很快成为Unix和Linux的标准编译器。

围绕着GCC,一个编译王国隐然成形。

打开网易新闻 查看精彩图片

苹果公司也决定采用GCC编译自家的Objective-C

打开网易新闻 查看精彩图片

但是Objective-C毕竟是个小众的语言,随着时间的推移,苹果公司提出的需求,GCC逐渐满足不了了。

打开网易新闻 查看精彩图片

GCC还是个“单体应用”,很难嵌入到其他应用程序当中。

打开网易新闻 查看精彩图片

就在此时,一个大神横空出世。

打开网易新闻 查看精彩图片
打开网易新闻 查看精彩图片
打开网易新闻 查看精彩图片

2005年,Chris Lattner加入苹果,负责苹果的编译器,XCode等工具的开发,以及LLVM社区的发展。

他不负众望,把Objective-C搞得风生水起,还开发了一个叫做Clang的LLVM编译器前端,支持C、C++和Objective-C。

打开网易新闻 查看精彩图片

模块化的LLVM吸引了很多语言的加盟

打开网易新闻 查看精彩图片

不仅如此,现在有很多领域都需要编译技术,但是不需要完整的编译器,模块化的LLVM正好可以大放异彩。

打开网易新闻 查看精彩图片

60年间,编译器从最早的把高级语言转化成机器码,到专注后端优化,终于走到了模块化这一步,LLVM成了新的王者。

后记

如果没有编译原理,大家继续用汇编编程,那这个世界上的程序员将会少很多。编译原理让高级语言的出现成为课程,间接塑造了庞大的程序员群体。

但是,编译原理一门比较难的课程,我和很多同学聊的时候,有人说:编译太抽象了,太枯燥了,不学了,还有人说:打死我也不学编译了。

编译原理这么一个造福无数程序员的技术,就这么被大家无情地抛弃了。

其实不学编译对日常工作影响也不大,大家主要把编译器当做一个工具直接使用,不会去了解内部的实现。真正从事编译器开发人也非常少。

不过学习编译原理能让程序员加深对编程语言和计算机系统的理解,有余力的话还是建议大家去看一下。