趙清潭錯愕道：“師妹這成就，相當了不起啊……”

“是啊，相當了不起。”王崎搖了搖頭：“神州怕是又要變天了。”

“什麼意思？”

王崎道：“構造新的高階算器語言，變得更加簡單了，因為有人直接將‘語言’的本質挑明瞭，所以，大家也就知道怎麼構造‘傻子都能用’的語言了。”

強規範、強型別對智商的挑戰在於，你必須戴著鐐銬跳舞。因為失去了圖靈完備，所以真的一點容錯率都沒有。

型別不安全、無型別對於智商的挑戰在於，你永遠也不知道會輸出什麼bug。

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

同時兼備“型別論”與“圖靈完備”的語言，也是存在的。

它確實是兩邊都不討好。

這種語言，多是討好“下面”的。

由於有型別，所以不會輸出完全無法預料的結果。

由於有圖靈完備，所以有一定的容錯率。

碼農鄙視鏈底端的大眾化語言，也就誕生了。

這種玩意，王崎馮落衣不會主動去開發，算君壓根就不會想著這回事。

但是，這卻無異指出了一條明路。

只要奔著這個方向走，那些程式猿用的語言，總會誕生的。

“而且，這在基礎算學部分……也算是有意義吧？”王崎如此說道。

趙清潭笑了。

離宗連宗，歌庭少黎一類的名頭確實響亮。

但是如他一般的修士卻堅信，基派的“結構”，才是下一個時代的力量。

第二天，陳由嘉醒來，聽王崎將這些東西介紹一遍之後，也愣了。

“我這麼厲害的嗎？”

女孩愣愣的眨了眨眼睛。

王崎點了點頭：“超厲害。”

陳由嘉眯起眼睛，笑了。

可旋即，她有有些疑惑：“這個……算是基礎算學？我原本是要開發應用……”

“這對解析算君的成就，非常有用。”王崎說道：“再者，你是從算君的‘應用’之中反推出來，也算是一條‘從理論指向運用’的道路了。”

型別論，和函式程式設計也是息息相關了。

儘管在地球上，Lisp一類可以實際使用的函數語言程式設計，早在型別論之前就開發出來了，但這並不妨礙型別論讓整個程式設計，尤其是函式程式設計的藝術再上一個臺階。

布林巴基學派理論通向應用的障礙，又消去了一個。

王崎深吸一口氣，嚴肅道：“但是，師妹，這個還不算完。在你手上，這個型別論，也只是剛剛成型而已。”

陳由嘉一愣：“你叫它什麼？型別論？”

王崎點了點頭：“定義語言型別……你又什麼不滿嗎？”

陳由嘉笑了：“感覺會被你的類論【K理論】蓋過名頭啊。”

王崎一愣。這可是前世語境下不存在的麻煩。

“那就喚‘型論’咯。”

“聽起來和你那‘類論’是一對兒啊，不妥不妥……”

王崎勾起陳由嘉下巴，反問道：“一對兒，有什麼不妥？”

“別鬧，這兩個理論在算學領域天差地別……”

“名字相似而已嘛！”

笑鬧之中，這注定震動歷史的理論，算是敲定名字了。

陳由嘉卻突然嘆息：“這一次，還真是機緣巧合……若是沒有海霆真人、馮老師的論戰，我絕無可能觸及算君的那一絲‘想法’；而若是沒有算君的書稿，我縱使窺得門徑，也未必能入……”

“自信一點。”王崎拍了拍陳由嘉的腦袋：“你也足夠強了。”