3 月 1 日消息，微软首席产品经理丹尼尔・罗森瓦瑟（Daniel Rosenwasser）今日宣布推出全新的 Type 5.8。

这是一种基于 Java 的编程语言。用户可以通过 NuGet 获取，也可以使用 NPM 命令（npm install -D type）来进行安装。

在使用 Visual Studio 或 VS Code 编写 Java 代码时，实际上就是在一直编写 Type 代码。这使得 Type 的编辑工具能够实现自动补全、代码导航和重构。

Type 5.8 为软件开发人员带来了许多新的升级，并提升了代码安全性、模块兼容性及编译性能。

微软表示，自测试版发布以来，开发团队不得不对部分功能进行了调整，主要变化包括：

原计划中针对函数条件返回类型的检查功能因技术限制与优化需求，决定延后至 Type 5.9 版本发布。

作为条件返回类型检查的前期工作，Type 5.8 新增了对返回表达式中各分支的细粒度类型检查。此功能虽未在 Beta 版公告中提及，但已正式纳入 5.8 版本。

注意到，自 RC 候选版发布以来，微软并未再往 Type 5.8 中引入其他重大功能更新之处，旨在确保版本的稳定性与兼容性。

参考资料：