海棠书屋 > 修真小说 > 走进修仙 > 章节目录 第九十八章 型论
…”

    尽管今法修士从来都是以“打开黑箱”为荣,但是,在这个宇宙,就没办法完全规避“黑箱”带来的法术。

    或者说,就没谁可以在无黑箱的情况下生活。

    举个最直接的例子好了,如果非要懂得“中心法则”才能生娃的话,那人类就不用繁衍了不过相对的,病毒也就不会传播了。

    先有“应用”而后有“理论”,在哪个世界都是很常有的事情。

    赵清潭错愕道:“师妹这成就,相当了不起啊……”

    “是啊,相当了不起。”王崎摇了摇头:“神州怕是又要变天了。”

    “什么意思?”

    王崎道:“构造新的高级算器语言,变得更加简单了,因为有人直接将‘语言’的本质挑明了,所以,大家也就知道怎么构造‘傻子都能用’的语言了。”

    强规范、强类型对智商的挑战在于,你必须戴着镣铐跳舞。因为失去了图灵完备,所以真的一点容错率都没有。

    类型不安全、无类型对于智商的挑战在于,你永远也不知道会输出什么b。

    那么撒尿虾和牛丸合在一起做撒尿牛丸的思路,也就有了。

    同时兼备“类型论”与“图灵完备”


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