第九十七章 靈氣宇宙技術史的風格（第3/3頁）

這就意味著，碼農必須非常了解自己碼的是什麽，甚至需要利用自己的心算能力，為自己碼的東西糾錯。就和人力預測邏輯分支一樣，但是是預測哪裏錯。

這對程序員的能力要求，也很高。

只不過吧，在這個世界，只要兼修一下爻定算經之類萬法門功法，就可以解決這個問題了。

也就是說，大家這麽多年了，其實也不是介意當個人肉糾錯器。

這是類型論在地球上的大致狀況。

而在這個世界，情況就有點詭異了。

陳由嘉，是借助神州現在離宗連宗論戰的東風，從算君的獸機關集群算法之中，反推出這一道理論的。

而且，還是從形式語言學上的得到了靈感。

形式語言學可以算是計算機科學平行發展的一支。

但是，這個過程……

也確實……

充滿了這個宇宙技術史的風格。