哥德尔系统提示您：看后求收藏（爱米文学网aimiwx.com），接着再看更方便。
”难道我们重新用哥德尔系统理解的语言重写一遍飞控吗“，李文静的话还没说完呢，就听见呯呯的声音，116所的几个程序开发人员口吐白沫，瘫倒在椅子上。
”还是我们写一套编译器，将使用Ada语言书写的飞控系统编译成哥德尔系统能够理解的语言“，
呯呯的声音又响起来了，这回是赵天成和李飞口吐白沫，瘫倒在椅子上。
”Good Question“，王一男指了指李文静，”很好的问题“，
“要不怎么说咱们是最佳拍档呢”
“这就要感谢我们伟大的开源事业了”
“有一个开源项目，叫做LLVM的，有人知道吗”
立刻好几个人举起了手，王一男指着116所的一个程序员，“你来说说吧”
“LLVM是Lo Level Virtual Machine 的意思，也就是低级虚拟机，它实际上是一组规范和工具的集合，为开发现有语言的编译器，甚至设计新的程序设计语言，提供了一个非常强大的基础“
”Perfect“，王一男夸奖了一句。
“DragonEgg 有人知道吗“，王一男接着问。
这回没人举手了，李文静举手说，”龙蛋哇，这个谁不知道“
没等王一男骂人呢，李文静坐了下来，“开个玩笑，活跃一下气氛嘛”
“这是一个GCC的后端，或者说LLVM的前端，能够将GCC和LLVM连接起来”，王一男说，
“GCC你们都知道吧”
“废话，别侮辱我们的智商好吗”，“GCC是一组开源的编译器，包括C/C++，Fortran ，当然也包括了Ada语言的编译器，我们116所目前使用的就是GCC”
“好了，齐活啦”，王一男拍了拍手。他在黑板上先画了一个圆圈，然后在里面写上
“116所飞控代码”，
“一共多少行代码”，王一男问116所的攻城狮，
“大概四百多万吧”。
