前端框架Svelte放弃TS，如何使用纯JS实现类型检查？

近日，前端框架 Svelte 的创建者 Rich Harris 提出要将 Svelte 从 TypeScript 切换到使用 JSDoc 的 JavaScript。这种转变得到了 Svelte 团队的大力支持，他们决定在 Svelte 4 代码库中从 TypeScript 迁移到 JavaScript JSDoc。而这个决定引起了开发社区的惊讶和怀疑。,那为什么要从 TypeScript 转向 JavaScript JSDoc 呢？这是否是技术的倒退？JSDoc 又是什么？它有什么特点？如何使用？下面将详细介绍！,,Svelte 团队认为，尽管类型系统非常棒，但作为一种语言，TypeScript有些“麻烦”。主要问题在于使用 TypeScript 会带来额外的工具。例如，如果在 TypeScript 中构建一个库，并在另一个项目中使用该库，就不能只修改代码库还需要重新构建代码，这增加了不必要的复杂性。,,为了规避这些问题，Svelte 团队决定使用 JavaScript 和 JSDoc 注释来实现类型安全。这种方法提供了所有类型安全的好处，而没有与 TypeScript 相关的缺点。SvelteKit 代码库已经采用了这种方法，团队计划对 Svelte 4 进行同样的处理。不过，作为Svelte的用户，这不会影响在Svelte 中使用 TypeScript 的能力，从Svelte导出的函数仍将具有习以为常的所有 TypeScript 优点（类型检查、智能感知、内部文档等）。,很多开发人员之所以选择 TypeScript，是因为强类型可以减少错误，并通过代码完成和弹出帮助等功能改善代码编辑器中的开发体验。而主要是 API 文档工具的 JSDoc 也可以用于类型检查。,JSDoc 是一种用于在 JavaScript 代码中编写文档和类型注释的标记语言，它使用类似于JavaDoc 的注释语法。通过在代码中添加特定的注释标记，可以生成文档，提高代码的可读性和可维护性。JSDoc不仅可以描述函数的参数和返回值类型，还可以用来描述类、对象、模块和命名空间等各种 JavaScript 实体的属性和方法。,,那相较于 TypeScript，JSDoc 有什么优点呢？,使用 JSDoc 不需要任何前置操作。只需要在 JavaScript 代码中添加 JSDoc 注释即可。JSDoc 注释以“/**”开头，以“*/”结尾，位于要描述的代码块之前。可以通过以下方式来将 JSDoc 用于类型检查。,JSDoc 以@标记名称的形式提供了很多标记，常用的包括：,这些标记只是 JSDoc 提供的许多标记中的一部分。JSDoc 还提供了许多其他标记，如 @augments、@example、@ignore、@link、@since 等。通过使用这些标记，可以更好地记录和描述 JavaScript 代码。,需要注意，尽管可以使用 JSDoc 代替 TypeScript 进行类型检查，但它并不像 TypeScript 一样强制执行类型检查。如果在 JSDoc 注释中错误地描述了类型，或者没有提供足够的类型信息，将无法得到类型检查的保护，这可能会导致运行时错误。因此，在使用 JSDoc 进行类型检查时，需要格外小心，并尽可能详细地记录变量和参数的类型。,最终 JSDoc 会取代 TypeScript 进行类型检查吗？我认为是不会的。TypeScript 非常适合应用开发，而且它正在不断改进。不过对于库开发来说，使用纯 JavaScript 和 JSDoc 注释似乎是更好的选择。,绝大多数开发人员不是在构建库，而是在构建应用。因此，TypeScript 将保持主要的类型检查方式，直到 JavaScript 实现原生类型检查为止。,选择 TypeScript 还是带有 JSDoc 的 JavaScript 取决于开发团队或开发人员的需求和偏好。对于库作者来说，JavaScript 和 JSDoc 的简单性和灵活性特别有吸引力的。对于已经具有构建中的应用，TypeScript 仍然可能是首选。