因为我过早（2008年）就投入苹果的怀抱，所以这近20年对 Windows 基本没有什么了解。 直到本月因为给某厂做培训，才意识到，其实微软有些东西很先进。 就比如说，Rust 里的 async/await ，这种让异步代码写起来、读起来几乎和同步一样的优雅特性，是 C# 率先带入主流（2012）的。 再比如 IOCP，它的 proactor 完成模型比 Linux io_uring 早多了。 这些我之前也知道，但当时我并未因此意识到微软的先进性。 但当我知道这个 IOCP 在 1993 年就随 Windows NT 3.1 引入的时候，我就有点惊到了。 因为在我脑子里，微软/Windows 相比于 Linux/Macos 都是落后的代表 。。。 然后我又发现 TypeScript 是 2012 年开始给动态语言补渐进类型的路数。。。 LSP 是 2016 年 。。。 最牛逼的是 COM 的 ABI 思路了，领先业界 30 年 。。。 继续深挖还发现了不得了的事 ， 微软研究院 90 年代末做的 Singularity/Midori，用 Sing#(C# 变体)写的实验操作系统，靠类型系统保证隔离而不是硬件 MMU，里面已经有线性类型和所有权语义的影子。 它比 Rust 早十年在探索"用类型系统替代运行时安全检查"这条路。 惊到了。 还有 Simon Peyton Jones （Haskell 的核心作者之一），在微软研究院待了二十年。GHC 的很多演进是微软发工资做的。 从某种意义来说， Rust 的 trait/类型类的血统里，流着微软研究院的钱😆 随着深挖，我逐渐意识到，微软有一个别人长期没有的东西： 一个真正做研究的实验室，和一条把研究成果推进产品的通道。