看上去有现实需求非得定义一个序以正视听。“链”嘛，离散数学里都摸过的吧？不过其实也不需要是全序。首先，通用计算模型定义了所谓计算机科学(CS)的天花板。不考虑计算模型，CS作为学科的边界就是模糊的。其次，根据应用需求，计算模型退行到更具体的领域特定模型，历史地看，主要分为体系结构和其它所有模型两大方向。体系结构研究的计算模型即计算机模型。具体计算机的物理实现直接或间接依赖这些模型。其它模型是不一定依赖体系结构的各种领域特定模型，例如AI有AI的模型，别的业务有别的模型。但这些模型的实用实现依附于计算机模型，所以这里整个作为“其它”。值得一提的是，编程语言理论(PLT)是理论CS中最特殊的，因为...

就某些业务领域，我足够代表贵司在国际上argue，要不我这边去掉ssp，您再看看市场价？

#避雷#偶尔看到早上mq白的提神笑话……看这个逻辑是要给武汉理工大学和底下的中国科学院大学、复旦大学、南京邮电大学出来的应届C艹都避个雷了，如果不是所有本科应届都避雷的话。毕竟C艹学到连inline在语言规则上首先是用来make ODR happy确保well-definedness、是不是实际内联根本无关紧要这么个先来后到的第一学期的基础都不知道的话，确实没什么录用糊屎山的必要。 至于实用意义，这玩意儿和为什么要有header-only的问题一样水，还真难想象现在的应届连这个都没概念的。估计本来那个面试官还想费个几秒钟咣个“少纠结发版时的ABI compat”打死你这回复下的意义怪，不过发现连这个必要都没有，就挂了。是我我也挂。  （更大的一个笑话：这评论框似乎需要手动转义加号……）