第(2/3)页

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    ”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连接起来的东西”，王一男说，
    第(2/3)页