第(3/3)頁(yè)

    或者說(shuō)“一類”。

    也就是“強(qiáng)類型”語(yǔ)言。

    由于是“最嚴(yán)苛”的系統(tǒng)，所以強(qiáng)類型語(yǔ)言的自由度真的很低。尤其是其中的“強(qiáng)規(guī)范類型”，由于犧牲了圖靈完備，所以這種語(yǔ)言非常容易發(fā)生邏輯上的矛盾。有一點(diǎn)錯(cuò)誤就會(huì)產(chǎn)生直接停機(jī)。

    不過(guò)好處就是，這種類型的語(yǔ)言，永不出錯(cuò)。

    可說(shuō)真的，你聽(tīng)說(shuō)過(guò)可以號(hào)稱“永不出錯(cuò)”的語(yǔ)言嗎？

    你的Windows沒(méi)有藍(lán)過(guò)屏？你的安卓沒(méi)有死過(guò)機(jī)？

    那卻是因?yàn)?，?qiáng)規(guī)范類型，真的不是一般人人玩的。

    正是因?yàn)槿绱?，?qiáng)規(guī)范類型語(yǔ)言，并沒(méi)有在碼農(nóng)之中流傳開(kāi)去。想要用好強(qiáng)規(guī)范類型，就必須背下和推算一大堆指針和參數(shù)的類型。只有完全對(duì)得上，程序才會(huì)運(yùn)轉(zhuǎn)。有哪怕一點(diǎn)對(duì)不上的，就會(huì)直接停機(jī)。

    這就是犧牲了“圖靈完備”的惡性后果了。

    說(shuō)真的，這也蠻考驗(yàn)水平的。可以說(shuō)，圖靈完備，使得一些普通人也能參與到“編程”這個(gè)工作之中。而當(dāng)“圖靈完備”被犧牲的時(shí)候，對(duì)編程的智商要求就提高了。

    但另一方面，高智商的人才，通常會(huì)更喜歡自由創(chuàng)作一點(diǎn)，也不耐煩背那么多東西了。

    這也是業(yè)界拋棄這類語(yǔ)言的原因——這類語(yǔ)言不能被廉價(jià)程序員掌握。

    不過(guò)，正是由于它穩(wěn)定可靠，所以航空航天事業(yè)也有使用它。

    畢竟，這東西要是死機(jī)，那就是上億元打水漂了。

    如果從類型論的觀點(diǎn)來(lái)看的話，那么……王崎之前的萬(wàn)象卦文，應(yīng)該算是……無(wú)類型語(yǔ)言。

    無(wú)類型語(yǔ)言的自由度高，可以領(lǐng)高等數(shù)學(xué)的計(jì)算過(guò)程直接在物理機(jī)上實(shí)現(xiàn)，且更接近人類的思維習(xí)慣。

    或者更接近地球類型論誕生之前的那些高級(jí)語(yǔ)言，屬于“類型不安全”的范疇。

    ——甚至可以說(shuō)，萬(wàn)象卦文同時(shí)具有“無(wú)類型”和“類型不安全”的標(biāo)簽。

    自由是自由了，但是相對(duì)的，這東西也一樣不是很好用。

    如果真的發(fā)生了編譯錯(cuò)誤，那么計(jì)算機(jī)就很有可能輸出無(wú)法預(yù)料的結(jié)果，而非直接停機(jī)。

    這就意味著，碼農(nóng)必須非常了解自己碼的是什么，甚至需要利用自己的心算能力，為自己碼的東西糾錯(cuò)。

    這對(duì)程序員的能力要求，也很高。

    只不過(guò)吧，在這個(gè)世界，只要兼修一下爻定算經(jīng)之類萬(wàn)法門(mén)功法，就可以解決這個(gè)問(wèn)題了。

    也就是說(shuō)，大家這么多年了，其實(shí)也沒(méi)介意當(dāng)個(gè)人肉糾錯(cuò)器。

    這是這個(gè)理論在地球上的大致?tīng)顩r。

    而在這個(gè)世界，情況就有點(diǎn)詭異了。

    陳由嘉，是借助神州現(xiàn)在離宗連宗論戰(zhàn)的東風(fēng)，從算君的獸機(jī)關(guān)集群算法之中，反推出這一道理論的。

    而且，還是從形式語(yǔ)言學(xué)上的得到了靈感。

    形式語(yǔ)言學(xué)可以算是計(jì)算機(jī)科學(xué)平行發(fā)展的一支。

    但是，這個(gè)過(guò)程……

    也確實(shí)……

    充滿了這個(gè)宇宙技術(shù)史的風(fēng)格。


    第(3/3)頁(yè)