开云体育- 开云体育官方网站- 开云体育APP所以今天的计算机语言，说它是 formal language，这是对的，但如果说程序是 formal system，definitely no，因为 compiler 最终只是把它拿去翻译成机器指令让计算机可以运行这段程序，这就是「中国盒子」的例子；虽然今天的计算机语言实现，类型系统的设计，编译优化等等，无论在工程上还是在科学上都比龙书出来的时候大有进步，但是，龙书封面上写的那句：syntax directed translation

　　观点 1：在互联网越来越失去交流功能，失去互联网原初的共享精神，彻底沦为彼此割裂的信息茧房的今天，这事真的令人唏嘘不已 观点 2：这都是推荐算法搞的。让大家纸相信自己看到的，结果算法只推你愿意看的。变信息茧房了。 观点 3：人人影视开源人人都有自己的私人影视！ 观点 4：难的不是库，而是源。 观点 5：开源到百度网盘？我已经 PTSD 了 观点 6：就说哪个网盘不限速 观点 7：对得起人人二字 观点 8：变成分布式了