第九十八章 型论

    陈由嘉忍不住笑了：“说得好像歌庭少黎恩怨都要终结了一样。”

    陈由嘉语气一滞：“终结……”

    然后，算君就贡献了……包含类型论结果的成就。

    “什么意思？”

    王崎没有笑。事实也差不多就是这样。

    只要奔着这个方向走，那些程序猿用的语言，总会诞生的。

    王崎点了点头：“超厉害。”

    也就是兽机关集群的混沌拓扑网络算法。

    “请教，还有致谢。”

    赵清潭错愕道：“师妹这成就，相当了不起啊……”

    冯落衣为了证明“无穷公理”的安全性，而沿着这条思路走了下去。

    但是，这却无异指出了一条明路。

    “是啊，相当了不起。”王崎摇了摇头：“神州怕是又要变天了。”

    “我这么厉害的吗？”

    但是，他也确实是天才，凭借自己的思考，就完成了这样一个严苛的系统。

    兴奋过后，陈由嘉忽然又有些担忧：“话说，基派算学，主要就是为了那算学根基。这次我论文发表，那便是……便是以连宗的身份加入现在的论战了吧？是不是……不大好？”

    王崎咧嘴：“你不觉得……这有点太冒进了吗？”

    王崎说道：“苏师兄也在关注这方面，你倒是可以跟他交流一下。”

    或者说，就没谁可以在无黑箱的情况下生活。

    可以说，万事俱备了。

    离宗连宗，歌庭少黎一类的名头确实响亮。

    类型论，和函数编程也是息息相关了。

    “啊？我总觉得你做了个不吉利的比喻……”

    兽机关集群相当安全。用类型论的理论来看，它就是绝对的“强规范强类型”，不会输入任何“预料之外”的结果。一旦有丁点错误，要么会提示语法错误，要么直接就会直接停机给你看。

    那么撒尿虾和牛丸合在一起做撒尿牛丸的思路，也就有了。

    第二天，陈由嘉醒来，听王崎将这些东西介绍一遍之后，也愣了。

    女孩愣愣的眨了眨眼睛。

    布尔巴基学派理论通向应用的障碍，又消去了一个。

    “这对解析算君的成就，非常有用。”王崎说道：“再者，你是从算君的‘应用’之中反推出来，也算是一条‘从理论指向运用’的道路了。”

    但陈由嘉想找算君就难了。

    由于有类型，所以不会输出完全无法预料的结果。

    王崎甚至怀疑，算君这一套做法，并非牺牲“图灵完备”，而是……算君压根就没在意什么“图灵完备”。

    王崎思来想去，这种一不留神就灭星的玩意，也确实需要这种死板的东西来约束了。

    王崎点了点头：“定义语言类型……你有什么不满吗？”

    但是如他一般的修士却坚信，基派的“结构”，才是下一个时代的力量。

    强规范对智商的挑战在于，你必须戴着镣铐跳舞。因为失去了图灵完备，所以真的一点自由度都没有。

    “你不要命了？”王崎惊呼：“你不是刚刚才心力耗竭吗？而且谢他干什么？写书给其他学者看，不是天经地义的事情吗？启发其他学者什么的……”

    “这一场纷乱，因基派而起，那么，由基派成员终结，也并无不妥。”

    毕竟，冯老师、图灵真人也没有跪不是？

    而就算宏观上的运转出现了问题，也就只是因为失去智慧约束导致宏观层面的集群暂时失去凝聚力，而不是使得兽机关本身失控。

    王崎摆手：“想哪去了……总之，不周之算，算是我万法门内崛起的一个点，也算是基派的原点了吧？可以说，连宗离宗的上一场论战，就是由我终结。而现在，也就是他们最后的论战，也算是因我而起。”

    “那就唤‘型论’咯。”

    “别闹，这两个理论在算学领域天差地别……”

    举个最直接的例子好了，如果非要懂得“中心法则”才能生娃的话，那人类就不用繁衍了——不过相对的，病毒也就不会传播了。

    他是长生者待遇，而且密级够高，还刚好知道算君现在在那个旮旯底，还真能寄信给算君。

    但令王崎险些三观尽碎的是……

    王崎勾起陈由嘉下巴，反问道：“一对儿，有什么不妥？”

    由于有图灵完备，所以有一定的自由度。

    同时兼备“类型论”与“图灵完备”的语言，也是存在的。

    陈由嘉一愣：“你叫它什么？类型论？”

    陈由嘉眯起眼睛，笑了。

    赵清潭笑了。

&nb... -->>
本章未完，点击下一页继续阅读