不是神秘化而是 formalization 语言研究的方向不多 就复杂度和类型系统 但这两个方向都需要通过形式化才能通过证明来取得上限和下限 所以有一些壁垒是没办法的事 应该说这才是正确的途径

操作系统不需要这些 就好像中世纪建宏大的教堂并不需要懂力学和微积分 但盖房子的人没必要鄙视微积分

【 在 hgoldfish 的大作中提到: 】
: 协程的概念很早很早了。
: 为什么会和做操作系统的关联起来呢。因为在做操作系统的看来，这不就是线程的调度切换吗？
: 做编程语言的这伙人总是喜欢把东西神秘化。鄙视。——by 做操作系统的那伙人。
: ...................
--
FROM 37.136.9.*