“是啊，相当了不起。”王崎摇了摇头：“神州怕是又要变天了。”
“什么意思？”
王崎道：“构造新的高级算器语言，变得更加简单了，因为有人直接将‘语言’的本🖌👍质挑明了，所以，大家也就知道怎么构造‘傻子都能用’的语言了。”
强规范、强类型对智商的挑战在于，你必须戴着镣铐跳舞。因为失去了图灵完备，所以真的一点🏤🜀⚭容错率都没有。
类型不安全、无类型对于智商的挑战在于，你永远也不知道会输🄚出💱🕬什么bug。
那么撒🟥尿虾和牛丸合在一起做撒尿牛丸的☇思路，也就🉣有了。
同时兼备“类型论”与“图灵完备🚨🕷”的语言，也是存在的。
它确实是两边都不讨好。
这种语言，多是讨好“下面”的。
由于有🟥类型，所以不会输出⚩🔁♖完全无法预料☇的结果。
由于有图灵完备，所以有一定的容错率。
码农鄙🟥视链底端的大☣🁌🄖众化语言，🃲也就诞生了。
这种玩意，王崎冯落衣不会主动去开发，算君压根👙就不会想着这回事。
但是，这却无异指出了一条明路。
只要奔着🐉这个方⚤向走，那些程序猿用的语言🐤🁴，总会诞生的。