为什么 React 源码不用 TypeScript 来写?

Souleigh ✨ 等级 445 0 0

周末的,看点轻松的吧,之前看过 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 一开始写的时候,其实是没有 BabelTypeScriptFlow 的,但有上述内部 transpiler,所以就这样写了。到后来有了 Flow,而且要保证依赖于 React 的代码能够得到正确的 Flow 类型推断,自然就加上了 Flow 注释。此外,内部流水线应该是从来没做过 TypeScript 支持的,所以估计就算想用 TypeScript 来写也做不到,因为这不是加个 webpack 插件就能支持的。


为什么 Facebook 要做 Flow 而不用 TypeScript?这是一个规模的问题,对于大多数一般人来说没有这个规模是不可能理解的。我可以举若干个故事来解释一下什么是规模,以及为什么大多数人都没有机会解决这类问题,但非常少数的超大规模型公司需要请非常资深的工程师来解决。

第一个例子是为什么 Facebook 不能用 TypeScript,因为 TypeScript 会把所有源代码加载到内存里进行处理。Facebook 用的是 monorepo,也就是一个单体源代码库,不按项目分多个代码库,这使得互相引用的 JavaScript 非常庞大。如果让 TypeScript 直接跑,TypeScript 的内存开销会大到连 Facebook 的服务器都 hold 不住,然后崩溃掉。为此 Facebook 坚持做自己的 FlowFlow 能够分拆要处理的 JavaScript 然后一部分一部分地处理,解决 Facebook 内部的独家问题。Facebook Flow 团队的态度很明确:「这是做给我们自己用的,我们顺手开源而已,你们爱用就用,没人逼你们用。我们会优先做内部需求,社区需求不着急做,如果社区需求跟内部需求冲突的必然让路给内部需求。」

第二个例子是为什么 FacebookMercurial (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 主应用编译出来,能看到改动的效果。FacebookApple 的关系不错,就问 Apple 有没有兴趣对 Xcode 做一些相关的优化,Apple 当然表示没兴趣。Apple 说他们真正看重的是那些一两个程序员组成的小开发者,因为这种类型开发者写了绝大部分 App Store 上面的应用,包括大部分的高质量应用。Apple 要优先满足这种类型开发者的需求,而不是 Facebook 这种「仅此一家」的需求。

举这三个例子是为了说明这样一个事情:Facebook 的很多问题是独家的,并不是外部看到的那么简单的问题。有些很多问题是因为规模导致的,做不到 Facebook 这样的规模根本遇不到这样的问题。你可以想象你自己做项目会怎么做,但你把这应用到 Facebook 这样的规模就很可能行不通。

收藏
评论区

相关推荐

TypeScript: 请停止使用 any
当我们开发 TypeScript 代码时,很可能会遇到 any 关键字。我们看到的大多数用法都表明我们正在处理 TypeScript 中的基本类型。在文档中我们可能会找到: (…)来不使用 TypeScript 或第3方库编写的代码的值。在这些情况下,我们可能要选择退出类型检查。为此,我们将这些值标记为 any 类型: 什么是 any 因此 any
为什么 React 源码不用 TypeScript 来写?
周末的,看点轻松的吧,之前看过 React 的源码,比较好奇像 React 这样庞大的工程为什么没有用 TypeScript。 Facebook 工程师 Cat Chen 在知乎上(https://www.zhihu.com/question/378470381/answer/1079675543(https://www.zhihu.com/quest
用 webpack 4.0 撸单页/多页脚手架 (jquery, react, vue, typescript)
1.导语         首先来简单介绍一下webpack:现代 JavaScr
TS核心知识点总结及项目实战案例分析
前言 最近工作一直很忙,复盘周期也有所拉长,不过还是会坚持每周复盘。今天笔者将复盘一下typescript在前端项目中的应用,至于为什么要学习typescript,我想大家也不言自明,目前主流框架vue和react以及相关生态的内部构建大部分都采用了typescript,其原因就在于它的静态类型检查极大的提高了代码的可读性和可维护性,而且定位问题非常方便。下
25、react入门教程
25、react入门教程 25、react入门教程 0. React介绍 0.1 什么是React? React(有时称为React.js 或ReactJS)是一
Create React App
Create React App Create React App Facebook开源了React前端框架(MIT Licence),也同时提供了React脚手架 createreactapp(ht
关于 Ant Design Form 校验无效的问题
关键词: Ant Design v4.0.2 Form Validation Invalid 校验无效<a name"9pt4x"</a 情景使用 React Typescript Ant Design 重构公司一反洗钱平台部分页面,其一表单需要验证,但是按照 Ant Design Form 中的 Demo 实现后并不效果。<a n
向微软官方贡献 @types 包
在前端社区中,TypeScript 差不多是老生常谈的主题了。这不仅反映了 TypeScript 的流行度,也反映了它的学习上手成本。今天我们不来探讨 TypeScript 本身。而是记录一下我艰难地发布一个 包的历程。 a year ago<img src"https://p9juejin.byteimg.com/toscnik3u1fbp
TypeScript 4.2 有哪些新特性
TypeScript 4.2 发布了!对于不熟悉 TypeScript 的人来说,TypeScript 就是增加了静态类型和类型检查的 JavaScript。有了类型限制,你就可以精确的表达你的函数需要什么类型的参数以及返回什么类型的结果。同时,利用 TypeScript 的类型检查,你可以很容易避免一些常见错误,例如拼写错误或者忘记处理 null 和 un
Deno 运行时入门教程:Node.js 的替代品
Deno 运行时入门教程:Node.js 的替代品作者: 日期: 这几天假期,我学习了一下 。它是 Node.js 的替代品。有了它,将来可能就不需要 Node.js 了。这篇文章就是 Deno 的一个初步介绍,尝试回答为什么 Node.js 不能满足需要,以及 Deno 能够带给我们什么?以下内容主要基于
零基础学习TypeScript(源码开源)
今天,这篇文章篇幅很短,主要开放我最近学习整理TypeScript源码。| 文件夹 | 作用 || | || demo1 | TypeScript的定义 || demo2 | 基础环境搭建 || demo3 | 基础类型和对象类型 || demo4 | 类型注解和类型推断 || demo5 | 函数相关类型 || demo6 | 数组与元组 || dem
基于TypeScript从0到1搭建一款爬虫工具
前言今天,我们将使用TS这门语言搭建一款爬虫工具。目标网址是什么呢?我们去上网一搜,经过几番排查之后,我们选定了这一个网站。https://www.hanju.run/ 一个视频网站,我们的目的主要是爬取这个网站上视频的播放链接。下面,我们就开始进行第一步。第一步俗话说,万事开头难。不过对于这个项目而言,恰恰相反。你需要做以下几个事情:1. 我们需要创建
Vue3.0系列——「vue3.0性能是如何变快的?」
前言1. 先学习vue2.x,很多2.x内容依然保留; 2. 先学习TypeScript,vue3.0是用TS重写的,想知其然知其所以然必须学习TS。 为什么学习vue3.0? 性能比vue2.x快1.2~2倍 按需编译,体积比vue2.x更小 组合API(类似React Hook) 更好的TS支持
了解什么是 TypeScript
内容纲要 了解什么是 TypeScript TypeScript 基本语法 TypeScript 介绍 TypeScript 是什么TypeScript 是 JavaScript 的强类型版本。然后在编译期去掉类型和特有语法,生成纯粹的 JavaScript代码。由于最终在浏览器中运行的仍然是 JavaScript,所以 TypeScript 并
Vue3 + TypeScript 开发实践总结
前言迟来的Vue3文章,其实早在今年3月份时就把Vue3过了一遍。<br/在去年年末又把 TypeScript 重新学了一遍,为了上 Vue3 的车,更好的开车。<br/在上家公司4月份时,上级领导分配了一个内部的 党务系统开发 ,这个系统前端是由我一个人来开发,功能和需求也不怎么复杂的一个B 端 系统,直接上的 Vue3 + TypeScript + El