周末的,看点轻松的吧,之前看过 React
的源码,比较好奇像 React
这样庞大的工程为什么没有用 TypeScript
。
Facebook
工程师 Cat Chen
在知乎上(https://www.zhihu.com/question/378470381/answer/1079675543)从内部的角度解答了为什么现在 React
的源代码用了 Flow
但没有用 TypeScript
。
Facebook
是一家技术很厉害的公司,能够超前做一些外界没有的东西,但等外界把这个东西做出来了,Facebook
就发现自己迁移不过去了,被自己过去超前做的技术锁定了,因为迁移成本太高。举个例子,在还没有 webpack
的时候 Facebook
就有自己很好的前端构建流水线,但 webpack
出来后 Facebook
无法迁移到 webpack
,甚至无法轻易把 transpiler
迁移到 Babel
。
如果我没记错的话,Babel
作者 Sebastian McKenzie
进入 Facebook
后做过一个项目,就是帮助 Facebook
迁移到 Babel
。为什么呢?因为在外界还没有 Babel
的时候,甚至在 Babel
前身 6to5
还没出现的时候,Facebook
内部的流水线已经有自己的 transpiler
,能够把一部分 ES6
语法转译为 ES5
。当时我们可爽了,在外部根本还没意识到能这样做事情的时候,我们已经可以随手写 ES6
了。但有了 Babel
后,内部流水线根本不兼容中间插入 Babel
这一步,所以就需要专门改造这个流水线才能迁移到 Babel
。而且 Facebook
已有的大量代码的 ES6
写法是基于内部 transpiler
写的,谁能保证迁移到 Babel
后 100% 兼容?迁移到 Babel
后如果编译出错了,那还能找出来修复。如果不出错,但实际执行结果略微不一样,导致出现线上事故,那怎么办?
React
在写的时候,是基于上述 Facebook
内部流水线写的,所以自然是内部有什么工具就依赖什么工具。React
一开始写的时候,其实是没有 Babel
、TypeScript
和 Flow
的,但有上述内部 transpiler
,所以就这样写了。到后来有了 Flow
,而且要保证依赖于 React
的代码能够得到正确的 Flow
类型推断,自然就加上了 Flow
注释。此外,内部流水线应该是从来没做过 TypeScript
支持的,所以估计就算想用 TypeScript
来写也做不到,因为这不是加个 webpack
插件就能支持的。
为什么 Facebook
要做 Flow
而不用 TypeScript
?这是一个规模的问题,对于大多数一般人来说没有这个规模是不可能理解的。我可以举若干个故事来解释一下什么是规模,以及为什么大多数人都没有机会解决这类问题,但非常少数的超大规模型公司需要请非常资深的工程师来解决。
第一个例子是为什么 Facebook
不能用 TypeScript
,因为 TypeScript
会把所有源代码加载到内存里进行处理。Facebook
用的是 monorepo
,也就是一个单体源代码库,不按项目分多个代码库,这使得互相引用的 JavaScript
非常庞大。如果让 TypeScript
直接跑,TypeScript
的内存开销会大到连 Facebook
的服务器都 hold
不住,然后崩溃掉。为此 Facebook
坚持做自己的 Flow
,Flow
能够分拆要处理的 JavaScript
然后一部分一部分地处理,解决 Facebook
内部的独家问题。Facebook Flow
团队的态度很明确:「这是做给我们自己用的,我们顺手开源而已,你们爱用就用,没人逼你们用。我们会优先做内部需求,社区需求不着急做,如果社区需求跟内部需求冲突的必然让路给内部需求。」
第二个例子是为什么 Facebook
用 Mercurial
(hg) 而不用 Git
,因为 Facebook
几年前每周的 commit
数量就高达五位数,现在可能已经六位数了。这导致每天上班跑一次 git pull --rebase
搞不好就 30 分钟,非常影响生产力,而且一天还可能要跑几次。既然 Git 是开源的,Facebook
就想要去改 Git
源代码,改善自己工作流程的生产力。Facebook
主动去撩 Git
,说「我们愿意贡献源代码啊,我们可以优化我们在乎的工作流程的性能,你们愿意接受我们的 Pull Request
吗?」Git
说「滚!这是你们特有的问题,正常的 Git
用户根本没有这么高的 commit
流量,不要引入非必要的复杂度到我们的源代码里。」于是 Facebook
跑去撩 Mercurial
,人家说「欢迎来贡献代码」,于是 Facebook
就切换到 Mercurial
了。
第三个例子是 Facebook
特有的 iOS
开发环境优化。跟上面的例子相似,如果当作一个普通的 Xcode
项目打开 Facebook
主应用的源代码,编译一下就 60 分钟,根本无法干活。所以 Facebook
做了一些非常专门的优化,保证大家如果只是改动一两个模块里的代码时,编译速度非常快,一下子就能把 Facebook
主应用编译出来,能看到改动的效果。Facebook
跟 Apple
的关系不错,就问 Apple
有没有兴趣对 Xcode
做一些相关的优化,Apple
当然表示没兴趣。Apple
说他们真正看重的是那些一两个程序员组成的小开发者,因为这种类型开发者写了绝大部分 App Store
上面的应用,包括大部分的高质量应用。Apple
要优先满足这种类型开发者的需求,而不是 Facebook
这种「仅此一家」的需求。
举这三个例子是为了说明这样一个事情:Facebook
的很多问题是独家的,并不是外部看到的那么简单的问题。有些很多问题是因为规模导致的,做不到 Facebook
这样的规模根本遇不到这样的问题。你可以想象你自己做项目会怎么做,但你把这应用到 Facebook
这样的规模就很可能行不通。