“但是语言能力还是体现在无歧义啊，简洁，清晰等等上，所以最早的设计目标，跟自然语言接近啥的，被我理解为表达能力”

“不得不说，米国国防部还是非常强大的”

“Ada语言至少领先工业界三十年以上”

“当工业界还在为挖掘每一个时钟周期的性能而绞尽脑汁的时候，人家已经把可维护性放在仅次于稳定性的位置了”

“所以116所选择Ada作为飞控系统的开发语言，那是非常有远见的”

李文静在台下举手了，“你说的很好，很正确”

“不过我们接下来该怎么干呢”

”难道我们重新用哥德尔系统理解的语言重写一遍飞控吗“，李文静的话还没说完呢，就听见呯呯的声音，116所的几个程序开发人员口吐白沫，瘫倒在椅子上。

”还是我们写一套编译器，将使用Ada语言书写的飞控系统编译成哥德尔系统能够理解的语言“，

呯呯的声音又响起来了，这回是赵天成和李飞口吐白沫，瘫倒在椅子上。

”GoodQuestion“，王一男指了指李文静，”很好的问题“，

“要不怎么说咱们是最佳拍档呢”

“这就要感谢我们伟大的开源事业了”

“有一个开源项目，叫做LLVM的，有人知道吗”

立刻好几个人举起了手，王一男指着116所的一个程序员，“你来说说吧”

“LLVM是LowLevelVirtualMachine的意思，也就是低级虚拟机，它实际上是一组规范和工具的集合，为开发现有语言的编译器，甚至设计新的程序设计语言，提供了一个非常强大的基础“

”Perfect“，王一男夸奖了一句。

“DragonEgg有人知道吗“，王一男接着问。

这回没人举手了，李文静举手说，”龙蛋哇，这个谁不知道“

没等王一男骂人呢，李文静坐了下来，“开个玩笑，活跃一下气氛嘛”

“这是一个GCC的后端，或者说LLVM的前端，能够将GCC和LLVM连接起来”，王一男说，

“GCC你们都知道吧”

“废话，别侮辱我们的智商好吗”，“GCC是一组开源的编译器，包括C/C++，Fortran，当然也包括了Ada语言的编译器，我们116所目前使用的就是GCC”

“好了，齐活啦”，王一男拍了拍手。他在黑板上先画了一个圆圈，然后在里面写上

“116所飞控代码”，

“一共多少行代码”，王一男问116所的攻城狮，

“大概四百多万吧”。

偷偷咽了一口口水，王一男在圆圈了添上”400万行“的字样。

然后在旁边又画了一个圆圈，在里面写上“GCC”，再画了一条带箭头的线，从“116所飞控代码”指向“GCC”。

“这样大家能理解吧，GCC可以编译116所的飞控代码”，王一男说。

“这步没问题，我们也是用GCC来编译成飞控计算机使用的机器代码的”，116所的攻城狮说。

王一男在“GCC”圆圈的边上又画了一个圆圈，然后在里面写上“龙蛋”两个字。

“龙蛋就是将GCC和LLVM连接起来的东西”，王一男说，