语言舍弃了“循环”的概念,失去了图灵完备,所以任何错误系统根本不予识别不准运行。
简单来说,强规范化语言就是“程序跑起来就绝对不会出错,里面但凡有一丢丢错误就跑不起来”的状况。
而侠客们,则偏向于使用“类型不安全语言”。这种语言的使用者,日常就处于“我的写的代码不能跑了?这是为什么?我写的代码能够跑了?这是为什么?”的疑惑当中。这种语言很容易就产生“无法预料的错误”——这种“无法预料”可以说是数学本身注定的,在程序跑起来之前,就连编写者本身也无法预测。
当然,这种“难以理解”,对敌人来说也是一样的。
向山宁可麻烦一点,在写任何程序之前都做好几次测试,也要选择“类型不安全语言”。
但向山的水平似乎真的还可以。尤基的驱动芯片依旧可以正常的驾驭义体。