第(3/3)页

    “保证在帝都雾霾最严重的时候，也能呼吸到最新鲜的空气”。

    王一男跟着他转了一圈，视野开阔，层高也不错，而且公用的办公基础设备和网络什么的，都是现成的，稍微置办点办公家具就能入驻。

    “不错，就这儿吧”，王一男跟陈子豪说，

    “不过能压点价还是压点价的好，你等下跟他谈吧，走，去楼下星巴克，我跟你聊聊我出国期间你的工作安排”。

    俩人坐在楼下咖啡厅，王一男说，

    “Rust语言研究的怎么样？”，

    “非常有启发，我简直是大开眼界啊，没想到程序设计语言还可以这么设计”，陈子豪说，

    “刚开始的时候很不适应，连最简单的Hello  Wolrd程序，写四五行就出现一堆编译错误”，

    “但是适应了它的所有权概念之后，写起来就很顺手了”，

    “而且，在类型定义中引入所有权，确实极大的降低了程序出问题的概率”。

    王一男点点头，“那它就没问题了吗？”，

    “当然有问题”，陈子豪说，“成也萧何败也萧何，显式所有权的编程方式确实降低了程序出错的概率，但是也极大地提升了程序员书写代码的难度”，

    “这样造成同样的解决方案，以前一个普通程序员就能干，当然可能问题很多，但是使用Rust的话，必须要久经考验的程序员才能写出合乎要求的程序来，但是写出来之后问题就很少”。

    王一男点点头，这确实也是他之前研究Rust语言得出来的结论。

    “有什么办法可以解决这个问题吗？”，

    “我初步的想法是，利用哥德尔系统的人工智能机制，将人工指定所有权的方式变成人工智能自动指定，只有在非常必要的时候，才要求程序员进行显式指定”，陈子豪显然已经做了深入的思考。

    “非常好”，王一男点点头，“这跟我之前的想法是一致的”，

    “接下来你就两个任务，最重要的是招人，团队越牛，越强大越好”，

    “另外就是这个Rust了，尽可能的吃透他，看看跟哥德尔系统怎么结合”，

    “明白了吗？”。


    第(3/3)页