第(2/3)頁

    類型不安全、無類型對于智商的挑戰(zhàn)在于，你永遠也不知道會輸出什么bug。

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

    同時兼?zhèn)洹邦愋驼摗迸c“圖靈完備”的語言，也是存在的。

    它確實是兩邊都不討好。

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

    由于有類型，所以不會輸出完全無法預(yù)料的結(jié)果。

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

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

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

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

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

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

    趙清潭笑了。

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

    但是如他一般的修士卻堅信，基派的“結(jié)構(gòu)”，才是下一個時代的力量。

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

    “我這么厲害的嗎？”

    女孩愣愣的眨了眨眼睛。

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

    陳由嘉瞇起眼睛，笑了。

    可旋即，她有有些疑惑：“這個……算是基礎(chǔ)算學？我原本是要開發(fā)應(yīng)用……”

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

    類型論，和函數(shù)編程也是息息相關(guān)了。

    盡管在地球上，Lisp一類可以實際使用的函數(shù)式編程，早在類型論之前就開發(fā)出來了，但這并不妨礙類型論讓整個編程，尤其是函數(shù)編程的藝術(shù)再上一個臺階。

    布爾巴基學派理論通向應(yīng)用的障礙，又消去了一個。

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

    陳由嘉一愣：“你叫它什么？類型論？”

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

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

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

    “那就喚‘型論’咯。”

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

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

    “別鬧，這兩個理論在算學領(lǐng)域天差地別……”
    第(2/3)頁