新未名空间

xiaoju 写了： 2024年 10月 28日 19:26 语法树和逻辑的正确性是可以保证的

编译器本身是做两个图灵完全的集合的映射，这个过程是可以验证的

你是不是从来没写过编译器，觉得有层神圣的光芒？

外行不知谁对谁错。从逻辑上看，参与辩论的人里面，肯定有不少是傻逼

你是半路出家，不理解编译器原理

编译器相当于文本转换器，这个转换过程是数学上可验证的

你直接写程序，程序是图灵完备不可验证的

所以人类才要先用比较简单，已知正确的方式写程序，然后转化为难以验证的等价文本

Caravel 写了： 2024年 10月 28日 19:29 你是不是从来没写过编译器，觉得有层神圣的光芒？

xiaoju 写了： 2024年 10月 28日 19:33 你是半路出家，不理解编译器原理

编译器相当于文本转换器，这个转换过程是数学上可验证的

你直接写程序，程序是图灵完备不可验证的

所以人类才要先用比较简单，已知正确的方式写程序，然后转化为难以验证的等价文本

扯蛋，编译器有很多component，从tokenizer，parser到code generation，哪一步都有可能出bug。懂行的一看就知道我说的编译比你靠谱。你估计从来没写过一行编译器。

图灵完备是说你这个语言有这个可能性，不代表没有bug。

最不安全的居然是 Linux

你甚至不明白什么叫“可验证”。。。

Caravel 写了： 2024年 10月 28日 19:46 扯蛋，编译器有很多component，从tokenizer，parser到code generation，哪一步都有可能出bug。懂行的一看就知道我说的编译比你靠谱。你估计从来没写过一行编译器。

图灵完备是说你这个语言有这个可能性，不代表没有bug。

其实各位理解错误。 C代表China， ++政治太不正确了， 就这么简单

国防项目只能招美国出生的码农，所以C++搞得稀烂。你随便去一个学校的CS master项目，正经的美国人还有几个？这些美国人里能写C++的就更少，能写的还要去更赚钱的地方。

foofy 写了： 2024年 10月 28日 01:40 c++没有罪。菜的是码农。

c++没有罪，有罪的是硬度人。这些搞砸的喜加加项目，都是烙印干的，嘿嘿！