尽管今法修士从来都是以“打🕽🏂🗔开黑箱”为荣,但是🞴,在这个宇宙,就没办法完全规避“黑箱”带来的法术。
或者说💞📁🗷,就没谁可以在无黑箱的情况下生活。🞬
举个最直接的例子好了,如果非要懂得“中心法则”才能生娃的话,那人类🟔就不用繁衍了不过相对的,病毒也就不会传播了。
先有“应用”而后有“理论”,在🂸📨🝕哪个世🌔⚗👥界都是很常有🁋🄋的事情。
赵清潭错🕾🏋愕道:“师妹这成就,相当了不起啊……🞴”⛸
“是啊,🕾🏋相当了不起。”王崎摇了摇头:“神州怕是又要变天了。”
“什么意思?”
王崎道:“构造新的高级算器语言,变得更加简单了,因为有人直接将‘语言’的本质挑明了,所以,大家也就⚱🕐🈵知道怎么构造‘🉐傻子都能用’的🔴语言了。”
强规范、强类型对智商的挑战在于,你必🌔⚗👥须戴着镣铐跳🁋🄋舞。因为失去了图灵完备,所以真的一点容错率都没有。
类型不安全🙊、无类型对于智商的挑战在于🌔⚗👥,你永远也不知道会输出什么bu🟔g。
那么撒尿虾和牛丸合在🄐☖⚿一起做撒尿牛丸的思路,也就有了。
同时兼💞📁🗷备“类型论”与“图灵完备”的语言,也是存在的⚱🕎。
它确实是两边都不讨好。
这种语言,多是讨好“下面”的。
由于有类型,所以不会输出完全无法预料的结果。
由于有图灵完备,所以有一定的容错率。
码农📢鄙视链底端的大众化🝛语🎐言,也就诞生了。
这种玩意,王崎冯落衣不会主动🚬去开发,算君压根就不会⚱🕎想着这回事。
但是,这却无异指出了一条明路。
只要奔着这个方向走💶,那些程🕽🏂🗔序猿用的语言,总会诞生的。
“而且,这在基础算学部分……也算是🞮🗞🜳有意义吧?”王崎如🛷♜此🈪说道。
赵清潭笑了。
离宗连宗,歌庭少黎一类的名头确实响亮。
但是如他一般的修士却坚信,基🚬派的“结构”,才是⛸下一个时代的力量。
第二📢天,陈由嘉醒来,听王崎将这些东西介绍一遍之后,也愣了。