尽管今法修士从来都是以“打开🌉黑箱”为荣,🍳🌎♢但是,在这个宇宙,就没办法完全规避“黑箱”带来的法术。
或者说,就没谁可🔫🃠以在无黑箱的情况下生☒活🉣🉈。
举个最直接的例子好了,如果非要懂得“中心法则”才能生娃的话,那人类就不用繁衍了不过🖙📃相对的,病毒也就不会传播了。
先有“应用”而后有“🌣🀹理论”,在哪个世界都是很常有的事情。
赵清潭错愕道:“师妹这成就,🌉🌉相当了不起啊……”
“是啊,相当了不起⛴🞧⛴🞧。”王崎摇了摇头:“神🍳🌎♢州怕是又要变天了。”
“什么意思?”
王崎道:“构造新的高级算器语言,变得更加简单了,因为有人直接将‘语言’的本质挑明了,所📦🝈以,大家也就知道怎🖑👺么构造‘傻子都能用’的语言了。”
强规范、强类型对🔫🃠智商的挑战在于,你必须戴着镣铐跳舞。因为失去了图灵完备,所以真的一点容错🗸☲率都没有。
类型不安全、无类型对🌣🀹于智🟠🞤🖉商的挑战在于,🉣🉈你永远也不知道会输出什么bug。
那么撒尿虾和牛丸合在一起做撒尿牛丸的思路,也🀲🀫就🗀😡🂻有了。
同时兼备“类型论”与“图灵完🌉备”的语言,也是存在的。
它确实是两边都不讨好。
这种语言,多是讨好“下面”的。
由于有🔀♍类型,所以不会输出🟠🞤🖉完全无法预料的🉣🉈结果。
由于有图灵完备,所以有一定的容错率。
码农鄙视链底端的大⛴🞧众化语言,也就诞生了。
这种玩意,🂌🍗王🜍🀺崎冯落衣不会主动去开发,算君压根🀲🀫就不会想着这回事。
但是,这却无异指出了一条明路。
只要奔着这个方向走,那些程序猿用的语言,总会诞生的。
“而且,这在基础算学部分……🌉也🔷🅎🅜算是有意义吧?”王崎如此说道。
赵清潭笑了。
离宗连宗,歌庭少黎一类的名头确实响亮。
但是如他一般🜍🀺的修士却坚信,基派的“结构”,🞂才是下一个时代🜕🁾的力量。
第二天,陈由嘉醒🔫🃠来,听王崎将这些东西介绍一遍之后,也愣了。