Google释出Dart 2.1完备健全类型系统编辑与编译程式码都会进行类型检查

原标题：Google释出Dart 2.1完备健全类型系统编辑与编译程式码都会进行类型检查

Google释出Dart 2.1稳定版，这是从8月释出Dart 2以来，第一次次要版本更新，主要改进包括增加新的语言功能、更快的类型检查、更好的类型错误可用性，也缩小程式码大小。而且为了让Google云端平台更好的支援Dart，开始让Knative支援Dart程式

Dart从第一版进入Dart 2有着巨大的改变，重新定位成主流程式开发，适用于快速开发功能丰富的跨行动和网页应用程式。Dart一开始透过提供虚拟机器，以及将程式码编译为原生机器码和Javascript来支援各种平台和开发需求。而从8月以来，Google把整个生态系统都移上了Dart 2，并在官方网站上各功能使用Dart 2作为範例，并且向开发者提供从Dart 1.x搬迁至Dart 2的工具和档案。

在Dart 2.1的更新中，语言功能支援了整数到双精度浮点数的转换，这并非一个很大的改变，却是方便开发者的更新。由于新的Flutter开发者在指定Padding或是设定字型大小的时候，很常会遭遇分析错误，API可能需要双精度浮点数的类型参数，开发人员却指定了整数类型的值。针对这个常见但琐碎的转换，现在Dart 2.1会自动推断，并且帮开发者默默转换类型。

Dart 2.1改进对mixin的支援，Dart 2.1为mixins加入了一种新语法，其中包含新的mixin关键字，开发者可以用来定义只在mixins中使用的类别。由于在Dart 2之前mixin都只能扩充物件，现在还让mixin可以扩充类别。

健全类型系统（Sound Type System）会在开发者违反类型指定合约的时候发出警告，虽然在Dart 2.0中就加入了在编辑时的类型检查，但在Dart 2.1中，程式码编译时也会进行类型检查。Google表示，由于这些检查在Dart 2.0时并没有提供完整的功能，编译有问题的原始码，可能不会出现任何错误警告，因此会导致可用性的问题，目前在Dart 2.1中，这些检查都已经完备，Dart Analyzer和编译器都会进行相同的检查。

由于AOT编译码在虚拟机器上执行，因此Dart 2的应用程式执行速度在多数情况比Dart 1还要更快，但在部分极端案例，由于更完善的检查会造成额外20到40％的间接成本。在Dart 2.1中，Google大大降低类型检查的成本，包括在AOT编译程式码以及使用JIT编译在虚拟机器中执行的程式码都是。另外，Dart 2.1网页应用程式的效能也会得改善，Google改进了网页上执行Dart程式码的大小以及编译时间，使得程式码执行的速度获得提升。

Google除了更新Dart SDK之外，也对核心SDK做出了改变，Knative现在也支援Dart程式。Knative是一个基于Kubernetes的平台，支援建置、部署和管理无伺服器工作负载，虽然目前的进展只有一小部分，对于Dart开发者来说还太低阶，但对于平台的角度来说是一个很大的前进，因为这会让Google云端平台更好的支援Dart，开发者能用来创建像是Flutter应用程式的后端。

官方预计在Dart 2.2改进const表达式并且支援新的Set literal，并更在未来的版本支援Unicode字串，以及提供更高的空值安全性。Google也提到，未来还会继续减少编译后Dart程式码的大小以及效能，并良好的支援多核心处理器，进一步减少程式码大小以改善下载和启动时间。