“表达能力是我给总结的，虽然从理论上来说，任何程序设计语言的表达能力跟只有向前和向后两个指令的图灵机是等价的“
“但是语言能力还是体现在无歧义啊，简洁，清晰等等上，所以最早的设计目标，跟自然语言接近啥的，被我理解为表达能力”
“不得不说，米国国防部还是非常强大的”
“Ada语言至少领先工业界三十年以上”..
“当工业界还在为挖掘每一个时钟周期的性能而绞尽脑汁的时候，人家已经把可维护性放在仅次于稳定性的位置了”
“所以所选择Ada作为飞控系统的开发语言，那是非常有远见的”
李文静在台下举手了，“你说的很好，很正确”
“不过我们接下来该怎么干呢”
”难道我们重新用哥德尔系统理解的语言重写一遍飞控吗“，李文静的话还没说完呢，就听见呯呯的声音，所的几个程序开发人员口吐白沫，瘫倒在椅子上。
”还是我们写一套编译器，将使用Ada语言书写的飞控系统编译成哥德尔系统能够理解的语言“，
呯呯的声音又响起来了，这回是赵天成和李飞口吐白沫，瘫倒在椅子上。
”Gd Questin“，王一男指了指李文静，”很好的问题“，
“要不怎么说咱们是最佳拍档呢”
“这就要感谢我们伟大的开源事业了”
“有一个开源项目，叫做LLV的，有人知道吗”
立刻好几个人举起了手，王一男指着所的一个程序员，“你来说说吧”
“LLV是L Level Virtual ahine 的意思，也就是低级虚拟机，它实际上是一组规范和工具的集合，为开发现有语言的编译器，甚至设计新的程序设计语言，提供了一个非常强大的基础“
”Perfet“，王一男夸奖了一句。
“DragnEgg 有人知道吗“，王一男接着问。
这回没人举手了，李文静举手说，”龙蛋哇，这个谁不知道“
没等王一男骂人呢，李文静坐了下来，“开个玩笑，活跃一下气氛嘛”
“这是一个G的后端，或者说LLV的前端，能够将G和LLV连接起来”，王一男说，
“G你们都知道吧”
“废话，别侮辱我们的智商好吗”，“G是一组开源的编译器，包括/++，Frtran ，当然也包括了Ada语言的编译器，我们所目前使用的就是G”
“好了，齐活啦”，王一男拍了拍手。他在黑板上先画了一个圆圈，然后在里面写上
“所飞控代码”，
“一共多少行代码”，王一男问所的攻城狮，
“大概四百多万吧”。
偷偷咽了一口口水，王一男在圆圈了添上”400万行“的字样。
然后在旁边又画了一个圆圈，在里面写上“G”，再画了一条带箭头的线，从“所飞控代码”指向“G”。
“这样大家能理解吧，G可以编译所的飞控代码”，王一男说。
“这步没问题，我们也是用G来编译成飞控计算机使用的机器代码的”，所的攻城狮说。
王一男在“G”圆圈的边上又画了一个圆圈，然后在里面写上“龙蛋”两个字。
“龙蛋就是将G和LLV连接起来的东西”，王一男说，
他在“G”圆圈添上一条带箭头的线通往“龙蛋”，然后在“龙蛋”圆圈后面又添上一条带箭