能将它投入实际使用。”
“可维护性在几十年前是被忽略的,但是今天,大家越发认识到它的重要作用了,程序的生存周期越长,可维护性的重要性越高“
“程序写出来容易,但是程序就像生命一样,会跟周围的环境发生作用,会慢慢的长大,会变化,会生长,会成熟,也会老去。”
“很多程序的寿命要超过人的寿命,所以,不同的人会来维护他,修改他,首先要读懂它”
“读都读不懂,怎么长大?而可读性,正是可维护性中最重要的一部分”
“表达能力是我给总结的,虽然从理论上来说,任何程序设计语言的表达能力跟只有向前和向后两个指令的图灵机是等价的“
“但是语言能力还是体现在无歧义啊,简洁,清晰等等上,所以最早的设计目标,跟自然语言接近啥的,被我理解为表达能力”
“不得不说,米国国防部还是非常强大的”
“Ada语言至少领先工业界三十年以上”
“当工业界还在为挖掘每一个时钟周期的性能而绞尽脑汁的时候,人家已经把可维护性放在仅次于稳定性的位置了”
“所以116所选择Ada作为飞控系统的开发语言,那是非常有远见的”
李文静在台下举手了,“你说的很好,很正确”
“不过我们接下来该怎么干呢”
”难道我们重新用哥德尔系统理解的语言重写一遍飞控吗“,李文静的话还没说完呢,就听见呯呯的声音,116所的几个程序开发人员口吐白沫,瘫倒在椅子上。
”还是我们写一套编译器,将使用Ada语言书写的飞控系统编译成哥德尔系统能够理解的语言“,
呯呯的声音又响起来了,这回是赵天成和李飞口吐白沫,瘫倒在椅子上。
”GoodQuestion“,王一男指了指李文静,”很好的问题“,
“要不怎么说咱们是最佳拍档呢”
“这就要感谢我们伟大的开源事业了”
“有一个开源项目,叫做LLVM的,有人知道吗”
立刻好几个人举起了手,王一男指着116所的一个程序员,“你来说说吧”
“LLVM是LowLevelVirtualMachine的意思,也就是低级虚拟机,它实际上是一组规范和工具的集合,为开发现有语言的编译器,甚至设计新的程序设计语言,提供了一个非常强大的基础“
”Perfect“,王一男夸奖了一句。
“DragonEgg有人知道吗“,王一男接着问。
这回没人举手了,李文静举手说,”龙蛋哇,这个谁不知道“
没等王一男骂人呢,李文静坐了下来,“开个玩笑,活跃一下气氛嘛”
“这是一个GCC的后端,或者说LLVM的前端,能够将GCC和LLVM连接起来”,王一男
请收藏:https://m.bqgrar.com
(温馨提示:请关闭畅读或阅读模式,否则内容无法正常显示)