另外，他也必須杜絕“進行到一半的時候，助手被人遠程腦控，手指一個哆嗦戳進自己腦子”的狀況。因此他才優先給尤基準備了“灌頂”。

        尤基一面將自己的數學作業傳輸給向山檢查，一面按照向山的吩咐，跑跑跳跳，測試一下驅動芯片是否有bug。

        人類在很早的時候就學會了“不要追求沒有bug的編程”這件事，只要程序能跑起來，存在bug也無所謂。

        高級語言按照“類型論”的分法，大致可以分為“類型不安全語言”“類型安全語言”與“強規范化語言”。強規范化語言倒是可以保證“不會出錯”，這類語言對于任何程序都能給出唯一結果并且停機，絕對不會陷入死循環。但也正因為強規范化語言舍棄了“循環”的概念，失去了圖靈完備，所以任何錯誤系統根本不予識別不準運行。

        簡單來說，強規范化語言就是“程序跑起來就絕對不會出錯，里面但凡有一丟丟錯誤就跑不起來”的狀況。

        而俠客們，則偏向于使用“類型不安全語言”。這種語言的使用者，日常就處于“我的寫的代碼不能跑了？這是為什么？我寫的代碼能夠跑了？這是為什么？”的疑惑當中。這種語言很容易就產生“無法預料的錯誤”——這種“無法預料”可以說是數學本身注定的，在程序跑起來之前，就連編寫者本身也無法預測。

        當然，這種“難以理解”，對敵人來說也是一樣的。

        向山寧可麻煩一點，在寫任何程序之前都做好幾次測試，也要選擇“類型不安全語言”。

        但向山的水平似乎真的還可以。尤基的驅動芯片依舊可以正常的駕馭義體。

        【本章閱讀完畢，更多請搜索三五中文;http://www.chinaguangyou.com 閱讀更多精彩小說】