TypeScript 6.0现已正式发布,这将是基于当前JavaScript代码库的语言的最后一个版本。6.0版本充当TypeScript 5.9和计划中的TypeScript 7.0之间的桥梁,后者接近完成,将基于Go语言并具有更快的速度。
3月23日发布了6.0正式版本,此前3月6日发布了候选版本。开发者可以通过NPM使用以下命令访问TypeScript 6.0:npm install -D typescript。
TypeScript已确立为带有类型语法的JavaScript。微软TypeScript首席产品经理Daniel Rosenwasser表示,TypeScript 6.0正式版本中有几项值得注意的新增功能,包括调整泛型调用中函数表达式的类型检查,特别是在泛型JSX表达式中出现的情况。这通常会在现有代码中发现更多错误,尽管开发者可能会发现某些泛型调用可能需要显式类型参数。
此外,微软已将导入断言语法(即import ... assert {...})的弃用扩展到import()调用,如import(..., { assert: {...}})。
随着正式发布,微软还更新了DOM类型以反映最新的Web标准,包括对Temporal API的一些调整。TypeScript 6.0中的其他功能包括:
减少无this函数的上下文敏感性
如果在函数中从未实际使用this,那么它不被认为是上下文敏感的,这意味着在类型推断方面,这些函数将被视为更高优先级。
引入新标志
引入了一个名为--stableTypeOrdering的新标志,旨在协助TypeScript 6.0迁移到7.0版本。
支持es2025选项
TypeScript 6.0为target和lib添加了对es2025选项的支持。虽然ES2025中没有新的JavaScript语言功能,但这个新目标为内置API添加了新类型,并将一些声明从esnext移至es2025。
DOM类型合并
lib.dom.iterable.d.ts和lib.dom.asynciterable.d.ts的内容包含在lib.dom.d.ts中。开发者仍然可以在配置文件的"lib"数组中引用dom.iterable和dom.asynciterable,但它们现在只是空文件。TypeScript的lib选项让用户指定目标运行时具有哪些全局声明。
语法弃用
在TypeScript 6.0中,在期望namespace的地方使用module现在是硬弃用。这个改变是必要的,因为模块块是一个潜在的ECMAScript提案,会与遗留的TypeScript语法冲突。
与此同时,TypeScript 7.0的基础将是用Go编写的编译器和语言服务,利用原生代码的速度和共享内存多线程。Rosenwasser表示,7.0版本"极其接近完成"。可以从Visual Studio Code编辑器试用或通过NPM安装。Rosenwasser说:"事实上,如果您能够采用TypeScript 6.0,我们鼓励您试用TypeScript 7.0的原生预览版。"
Q&A
Q1:TypeScript 6.0有什么特别之处?
A:TypeScript 6.0是基于当前JavaScript代码库的最后一个版本,充当5.9版本和即将到来的7.0版本之间的桥梁。它改进了泛型调用中函数表达式的类型检查,更新了DOM类型以反映最新Web标准,并引入了新的编译标志来协助向7.0版本迁移。
Q2:TypeScript 7.0与之前版本有什么不同?
A:TypeScript 7.0将基于Go语言编写,而非JavaScript,这将带来原生代码的速度优势和共享内存多线程支持。据微软表示,7.0版本目前极其接近完成,可以通过Visual Studio Code或NPM进行预览试用。
Q3:如何安装和使用TypeScript 6.0?
A:开发者可以通过NPM使用命令"npm install -D typescript"来安装TypeScript 6.0。建议已采用6.0版本的用户同时试用TypeScript 7.0的原生预览版,以便提前了解新版本的功能和性能改进。
好文章,需要你的鼓励
Replit与RevenueCat达成合作,将订阅变现工具直接集成至Replit平台。用户只需通过自然语言提示(如"添加订阅"),即可完成应用内购和订阅配置,无需离开平台。RevenueCat管理超8万款应用的订阅业务,每月处理约10亿美元交易。此次合作旨在让"氛围编程"用户在构建应用的同时即可实现商业变现,月收入未达2500美元前免费使用,超出后收取1%费用。
LiVER是由北京大学、北京邮电大学等机构联合提出的视频生成框架,核心创新是将物理渲染技术与AI视频生成结合,通过Blender引擎计算漫反射、粗糙GGX和光泽GGX三种光照图像构成"场景代理",引导视频扩散模型生成光影物理准确的视频。框架包含渲染器智能体、轻量化编码器适配器和三阶段训练策略,支持对光照、场景布局和摄像机轨迹的独立精确控制。配套构建的LiVERSet数据集含约11000段标注视频,实验显示该方法在视频质量和控制精度上均优于现有方法。
所有人都说AI需要护栏,但真正在构建它的人寥寥无几。SkipLabs创始人Julien Verlaguet深耕这一问题已逾一年,他发现市面上多数"护栏"不过是提示词包装。为此,他打造了专为后端服务设计的AI编程智能体Skipper,基于健全的TypeScript类型系统与响应式运行时,实现增量式代码生成与测试,内部基准测试通过率超90%。他认为,编程语言的"人类可读性时代"正走向终结,面向智能体的精确工具链才是未来。
这项由蒙特利尔学习算法研究所(Mila)与麦吉尔大学联合发布的研究(arXiv:2604.07776,2026年4月)提出了AGENT-AS-ANNOTATORS框架,通过模仿人类数据标注的三种角色分工,系统化生成高质量网页智能体训练轨迹。以Gemini 3 Pro为教师模型,仅用2322条精选轨迹对90亿参数的Qwen3.5-9B模型进行监督微调,在WebArena基准上达到41.5%成功率,超越GPT-4o和Claude 3.5 Sonnet,并在从未见过的企业平台WorkArena L1上提升18.2个百分点,验证了"数据质量远比数量重要"这一核心结论。