天才一秒记住【快眼看书】地址：https://www.nekeye.com
因此他才优先给尤基准备了“灌顶”
。
尤基一面将自己的数学作业传输给向山检查，一面按照向山的吩咐，跑跑跳跳，测试一下驱动芯片是否有Bug。
人类在很早的时候就学会了“不要追求没有Bug的编程”
这件事，只要程序能跑起来，存在Bug也无所谓。
高级语言按照“类型论”
的分法，大致可以分为“类型不安全语言”
“类型安全语言”
与“强规范化语言”
。
强规范化语言倒是可以保证“不会出错”
，这类语言对于任何程序都能给出唯一结果并且停机，绝对不会陷入死循环。
但也正因为强规范化语言舍弃了“循环”
的概念，失去了图灵完备，所以任何错误系统根本不予识别不准运行。
简单来说，强规范化语言就是“程序跑起来就绝对不会出错，里面但凡有一丢丢错误就跑不起来”
的状况。
而侠客们，则偏向于使用“类型不安全语言”
。
这种语言的使用者，日常就处于“我写的代码不能跑了？这是为什么？我写的代码能够跑了？这是为什么？”
的疑惑当中。
这种语言很容易就产生“无法预料的错误”
——这种“无法预料”
可以说是数学本身注定的，在程序跑起来之前，就连编写者本身也无法预测。
当然，这种“难以理解”
，对敌人来说也是一样的。
向山宁可麻烦一点，在写任何程序之前都做好几次测试，也要选择“类型不安全语言”
。
但向山的水平似乎真的还可以。
尤基的驱动芯片依旧可以正常的驾驭义体。
（本章完）
本章未完，请点击下一章继续阅读！若浏览器显示没有新章节了，请尝试点击右上角↗️或右下角↘️的菜单，退出阅读模式即可，谢谢！