“不错,就这儿吧”,王一男跟陈子豪,
“不过能压点价还是压点价的好,你等下跟他谈吧,走,去楼下星巴克,我跟你聊聊我出国期间你的工作安排”。
俩人坐在楼下咖啡厅,王一男,
“rt语言研究的怎么样”,
“非常有启发,我简直是大开眼界啊,没想到程序设计语言还可以这么设计”,陈子豪,
“刚开始的时候很不适应,连最简单的heo ord程序,写四五行就出现一堆编译错误”,
“但是适应了它的所有权概念之后,写起来就很顺手了”,
“而且,在类型定义中引入所有权,确实极大的降低了程序出问题的概率”。
王一男点点头,“那它就没问题了吗”,
“当然有问题”,陈子豪,“成也萧何败也萧何,显式所有权的编程方式确实降低了程序出错的概率,但是也极大地提升了程序员书写代码的难度”,
“这样造成同样的解决方案,以前一个普通程序员就能干,当然可能问题很多,但是使用rt的话,必须要久经考验的程序员才能写出合乎要求的程序来,但是写出来之后问题就很少”。
王一男点点头,这确实也是他之前研究rt语言得出来的结论。
“有什么办法可以解决这个问题吗”,
“我初步的想法是,利用哥德尔系统的人工智能机制,将人工指定所有权的方式变成人工智能自动指定,只有在非常必要的时候,才要求程序员进行显式指定”,陈子豪显然已经做了深入的思考。
“非常好”,王一男点点头,“这跟我之前的想法是一致的”,
“接下来你就两个任务,最重要的是招人,团队越牛,越强大越好”,
“另外就是这个rt了,尽可能的吃透他,看看跟哥德尔系统怎么结合”,
“明白了吗”。飘天文学_www.piaotiange.com
『加入书签,方便阅读』