对算器理论⚭🔧偶🐵🄋🟌有涉猎,也只是为了🁯“驳倒对方”而已。
但另王崎险些三观尽碎的是……
这样一个地球历史上是🏽来自基础📩数学的成就,在这个世界,居然是从应用反推出去的……
“哈哈……哈哈哈哈……”王崎📩只得表示:“我感觉自己的知🍜见障也确实蛮严重的……”
尽管今法修士从来都是以🐈♤“打开黑箱”为荣,但是,在这个宇宙,就没办法完全规避“黑🈔♨箱”带来的法🜏🁈🃴术。
或者说,就没谁可🃟以在无黑箱的情况下生活。
举个最直接的例子好了,如果非要懂得“中心法则”才能🆞🐧🂍生娃的话,那人类就不用繁衍了不过相对的,病毒也就不会传播了。
先有“应用⚭🔧”而后有“理论”,在哪个世界都是很🚅👂常有的事情。
赵清潭错愕道:“师妹这成就,相当了不🚶🗵☗起啊🞳……🚅👂”
“是啊,相当了不起。”王崎摇📩了摇头♅🅿:“神州怕是又要变天了。”
“什么意思?”
王崎道:“构造新的高级算器语言,变得更加简单🚅👂了,因为有人直接将‘语言’的本质挑明了,所以,大家也就知道🏿怎么构造‘傻子都能用’的语言了。”
强规🈐范、强类型对智商的挑战🖾在📩于,你必须戴着镣铐跳舞。因为失去了图灵完备,所以真的一点容错率都没有。
类型不安全、无类🃟型对于智商的挑战在于,你永远也不知道会输出什么bug。🈲🂌
那么撒尿虾⚭🔧⚭🔧和牛丸🃟合在一起做撒尿牛丸的思路,也就有了。
同时兼备“类🐵🄋🟌型论”与“图灵完备”的语言,也是存在的。
它确实是两边都不讨好。
这种语言,多是讨好“下面”的。
由于有类型,🐵🄋🟌所以不会输出完全无法预料的结果。
由于有图灵完备,所以有一定的容错率。
码🟓农鄙视链底端的大众化语言,也就诞生了。🞳