第九十七章 灵气宇宙技术史的风格（第3/3页）

这就意味着，码农必须非常了解自己码的是什么，甚至需要利用自己的心算能力，为自己码的东西纠错。就和人力预测逻辑分支一样，但是是预测哪里错。

这对程序员的能力要求，也很高。

只不过吧，在这个世界，只要兼修一下爻定算经之类万法门功法，就可以解决这个问题了。

也就是说，大家这么多年了，其实也不是介意当个人肉纠错器。

这是类型论在地球上的大致状况。

而在这个世界，情况就有点诡异了。

陈由嘉，是借助神州现在离宗连宗论战的东风，从算君的兽机关集群算法之中，反推出这一道理论的。

而且，还是从形式语言学上的得到了灵感。

形式语言学可以算是计算机科学平行发展的一支。

但是，这个过程……

也确实……

充满了这个宇宙技术史的风格。