海棠书屋 > 科幻小说 > 赛博英雄传 > 正文 第二十章 布尔运算
当于将自己的大脑暴露给其他人。向山必须有一个可以信任的助手,才敢做这种事。
    另外,他也必须杜绝“进行到一半的时候,助手被人远程脑控,手指一个哆嗦戳进自己脑子”的状况。因此他才优先给尤基准备了“灌顶”。
    尤基一面将自己的数学作业传输给向山检查,一面按照向山的吩咐,跑跑跳跳,测试一下驱动芯片是否有BUG。
    人类在很早的时候就学会了“不要追求没有BUG的编程”这件事,只要程序能跑起来,存在BUG也无所谓。
    高级语言按照“类型论”的分法,大致可以分为“类型不安全语言”“类型安全语言”与“强规范化语言”。强规范化语言倒是可以保证“不会出错”,这类语言对于任何程序都能给出唯一结果并且停机,绝对不会陷入死循环。但也正因为强规范化语言舍弃了“循环”的概念,失去了图灵完备,所以任何错误系统根本不予识别不准运行。
    简单来说,强规范化语言就是“程序跑起来就绝对不会出错,里面但凡有一丢丢错误就跑不起来”的状况。
    而侠客们,则偏向于使用“类型不安全语言”。这种语言的使用者,日常就处于“我的写的代码不能跑了?这是为什么?我写的代码能够跑了?这


本章未完,请点击下一页继续阅读 >>