如果说“图灵机”的构想是画地为牢，那么“类型”就是一副枷锁，将使用者牢牢束缚。

他确实是觉得这样很有趣。

图灵真人显得有些激动：“根据这理论当中的一些东西，我觉得，可以重新构造出一门全新的高级算器语言了——这能够极大的造福千机阁弟子！”

“语言？哦，语言！”冯落衣突然问道：“《形式语言学》，你已经了解过了吗？”

“怎么可能不了解？”图灵真人瞪大眼睛，反问道：“你弟子的成就，你自己就不关心吗？”

“嗯……了解倒是有了解……”冯落衣沉吟。

形式语言学，他了解得确实不多。

这几个月里，歌庭一直在秘密联系他，邀请他再做元算之算。

本来，冯落衣就觉得是自己支持王崎入道，而王崎的不周之算，否定了元算之算，他也颇为愧疚。

这大半年来，他的精神都投入其中了。

“有了王崎的形式语言学，做算器的语言，也就容易了许多。”图灵真人说道：“我觉得，你也可以好好了解一下。”

冯落衣点了点头：“确实……”

——不过，王崎发展“形式语言学”，也是为了这一成就做铺垫吗？

——端是深谋远虑！

“下一步，我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道：“说不定能够做出什么东西来。”

冯落衣点了点头：“嗯，王崎也是一般看法。”

只是，他始终有一道心思，放在元算之算上。

陈由嘉关于“无限公理”的阐释，也确实给了他灵感。

他已经想好自己的下一篇论文了。

……

“嘶，真是天才的想法！”海霆真人却比其他几人都要直接很多。

他看上去更为年少，从外表上看，倒与新崛起的一代修士更像是同时代的人物。

“陈由嘉……我记得，是王崎的道侣。”

“这么说来，是那个基派，也意识到自己过去的错误，想要来参悟连宗算理了？”

——不。

他自己否定了这个想法。

一个人转变想法，虽然困难，但还是有可能的。而一个学派，就没办法了。

黎京学派，分为老黎派和少黎派，也是这个原因。

白泽神君是离宗修士，自然不会容忍算君这样的异端。

好在白泽神君尚有容人之量，没有打压算君。

但就算如此，少黎派还是自立了。

就算基派成立时间尚浅，也不至于就这样集体转向。

“个人的行为？还是王崎的授意？”

他也注意到，陈由嘉进行语言分类的时候，思路与“形式语言学”有一定的相似之处。

但形式语言学使用的算理，却是典型的离宗算理。

“但不管怎么说，陈由嘉也是王崎的道侣。若是她能够倒向连宗，对连宗也是一大好事。”

——若是能够凭此影响王崎，就更好了。

这样的小小想法，就连海霆真人自己也没有意识到。

他自己也不相信，王崎那样的修士，会因为其他人的因素，而改变自己对算学的看法。

能够影响王崎的，只有王崎自身而已。除非王崎是自己推导出新的算理，否则，没人能够强迫他改变心念。

但他还是写得很认真。

或者说，他就是抱着“传道”的心思，指点后辈了。

毕竟……要是有“万一”呢？

……

陈由嘉很快就收到了三封完全不同的回函。

其中，算君的回函，是最先抵达的。

在王崎的坚持之下，陈由嘉在基派众人的面前，拆开了算君的回函，然后小心的阅读。

算君的回函不长，也没有什么客套话。

但是，他却是很简单的指点了陈由嘉的思路，并告诉她，按照这想法，可以朝那个方向研究，对应兽机关集群算法的哪个部分。