在上古时代,程序员都用汇编编程,效率低下,非常痛苦。
只有那些大神才能使用汇编搞大事情。
软件业的繁荣不能只靠几个大神,还需要千千万万的码农。
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成了新的王者。
后记:编译原理一门比较难的课程,我和很多同学聊的时候,有人说:编译太抽象了,太枯燥了,还有人说:打死我也不学编译了(这句话让我印象极为深刻,直接当了标题)。其实不学编译对日常工作影响也不大,大家主要把编译器当做一个工具直接使用,不会去了解内部的实现。真正从事编译器开发人也非常少。
不过学习编译原理能让程序员加深对编程语言和计算机系统的理解,有余力的话还是建议大家去看一下。