查看原文
其他

反驳来了!放弃TypeScript?说明你无知!

播报IT前沿的 51CTO技术栈 2023-09-22
作者 | Robert Vitonsky
编译 | 云中

几天前,汉森 (David Heinemeier Hansson)宣布 Turbo8 即将放弃 TypeScript。我心想:放弃就放弃吧,反正我也不知道 Turbo 8 是什么鬼。

然而,在过去的几年里,一些前端程序员试图向我推销“ TypeScript 没用,只测着玩玩”的想法。我认为,有这种观点的人要么不关心代码质量,要么根本不知道 TypeScript 是什么。在这里,我将解释为什么应该使用 TypeScript。

注:本文作者 Vitonsky 是一名超过10年的有着复杂项目的前端大牛,参与了许多开源项目的开发:比如翻译网站的浏览器插件 Linguist、模块 UI 工具ElegantUI、翻译 DOM 节点的 DomTranslator 库等等。
 
代码质量控制的“好手”

代码质量控制是一个保持代码可维护性的复杂过程。你不能仅仅用 100% 的测试覆盖代码,或者审查每个拉取请求并确保你的代码是可维护的,还应该让除你之外的其他人也可以识别并搞定它。
 
根本无法保证自己的代码没有 bug 的同时具有完美的可维护性。你只能在存储库中增加防御结构,以使其难以推送带有错误的“炸弹”代码。阻止“炸弹”代码的障碍越多,代码质量就越好。
 
这意味着你应该一起使用所有方法来保护存储库中的代码:单元/e2e/集成测试、代码审查、代码分析工具以及维护清晰的文档等。
 
TypeScript 是一个强大的代码分析工具;它可以检测代码中的许多缺陷。TypeScript 编译器迫使程序员确保代码在类型级别上是正确的。David 和许多其他人低估了静态类型的价值。
 
让我们看看 TypeScript 为代码质量带来了哪些好处。

contract 对代码的重要性

静态类型允许在代码中定义 contract。 

type Participant = {
 id: string;
 name: string;
};

function sayHi(participant: Participant) {
 //...
 console.log(`Hi ${participant.name}`);
}

该 sayHi 函数需要一个具有精确属性和精确类型的对象,并且它不关心该函数的用户将做什么来满足要求。编译器确保类型正确。

用户可能会提供一个不符合要求的对象并将类型强制转换为 any,但这不是函数 sayHi 的问题。这是一种责任委托,是开发人员必须理解的一个重要概念,才能正确使用 TypeScript 并获得其好处。
 
程序员必须验证任何不受信任的数据,例如用户输入和其他 IO 数据,或与 JavaScript 互操作的结果。验证和设置类型后,他们可以将数据传递给 TypeScript 代码,并相信合同将得到遵守,因为 TypeScript 编译器已经检查了代码。如果程序员强制转换类型,他们必须确保代码在运行时正确。
 
如果你将项目中的非相交类型转换为任何非 unknown 的类型(没有运行时验证),那么代码质量可能存在问题。
 
contract 可以避免为每个函数编写验证以确保数据正确。这对于性能和代码整洁度来说都很好,代码变得愚蠢而简单。

使用JS造成的不好经验和成本

有时我会用纯 JavaScript 编写代码,主要是在浏览器控制台中,以便在网页上进行快速计算或数据解析。几个月前,我为 Node.js 编写了一个使用 ChatGPT 翻译区域设置文件的脚本。这些文件包含长文本,而 ChatGPT 有限制,因此需要一些时间对文本进行切片、翻译、在ChatGPT的结果中查找错误、根据需要重新翻译,然后将切片重新连接在一起。根据区域设置文件的大小,此过程大约需要 3-5 分钟。

在这个过程中,由于一些琐碎的类型错误,我浪费了一些时间,比如忘记使用 wait,这导致一个变量包含 Promise,并将“[object Promise]”写入文件而不是翻译文本,或者将错误的对象作为函数参数提供。

TypeScript 消除了这样的错误。

 TS更面向未来

TypeScript 为你的代码提供了其他工具分析的潜力,因为它添加了上下文
 
使用 IDE,你可以重命名接口中的属性,并且实现该接口的所有实体将自动在各自的位置更新属性的名称。
 
ChatGPT 和 Copilot 等 AI 工具受益于 TypeScript 提供的附加元信息,有可能改进代码分析和代码生成。这些分析工具可以更好地识别潜在风险的代码。
 
静态类型和测试相得益彰。前端代码是高度异步的,这使得覆盖所有可能的测试用例并考虑所有潜在的代码状态,变得非常有挑战性。TypeScript 迫使程序员处理一个状态可能具有的所有可能情况,从而增强代码可靠性。

类型:复杂性与质量的取舍

汉森还说道说:
 
“TypeScript 对我来说只是阻碍。不仅因为它需要显式的编译步骤,还因为它用‘类型体操’污染了代码,这给我的开发体验增添了很少的乐趣,而且常常带来相当大的悲伤。应该容易的事情变得困难,而困难的事情变成了‘any’。所以不用了,谢谢!”
 
确实,有时必须编写重要的类型,才能让编译器相信你的数据是正确的。但事实就是这样:创建高质量的可维护代码通常需要付出艰苦的努力。
 
结论:会用的人不会抱怨工具

TypeScript 只是一个工具,如果你简单地启用它,它不会自动提高代码质量。你的项目必须制定正确使用该工具的规则,以及执行这些规则的架构师。规则越严格越好。
 
当在项目中禁用静态类型时,你将失去许多控制代码质量的功能。
 
JS 文档和 .d.ts 类型声明文件无法替代代码的静态类型。它们只是声明实体外部 API 的方法,但不允许分析实体内的代码(函数、类和其他代码块)。 
 
原文链接:
https://vitonsky.net/blog/2023/09/08/typescript-and-code-quality/

——好文推荐——

TypeScript被放弃!又一知名前端利器决意转回JS,社区不满:这在开倒车!

指南来了!微调GPT3.5,定制大模型!

杀死Node.js!全新JS运行时“快到飞起”!

您可能也对以下帖子感兴趣

文章有问题?点此查看未经处理的缓存