第九十八章 型论【第三更】 (3 / 7)
        “是啊，相当了不起。”王崎摇了摇头：“神州怕是又要变天了。”

        “什么意思？”

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

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

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

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

        同时兼备“类型论”与“图灵完备”的语言，也是存在的。

        它确实是两边都不讨好。

        这种语言，多是讨好“下面”的。

        由于有类型，所以不会输出完全无法预料的结果。

        由于有图灵完备，所以有一定的容错率。

        码农鄙视链底端的大众化语言，也就诞生了。

        这种玩意，王崎冯落衣不会主动去开发，算君压根就不会想着这回事。

        但是，这却无异指出了一条明路。

        只要奔着这个方向走，那些程序猿用的语言，总会诞生的。

        内容未完，下一页继续阅读

更多完整内容阅读登陆

《墨缘文学网，https://wap.mywenxue.org》