哥德尔系统提示您:看后求收藏(爱米文学网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所的攻城狮,
“大概四百多万吧”。