Dart 3将成为100%健全的空安全语言

根据 dart 的开发进度,dart 编程语言的第三个主要版本(dart 3)将于 2023 年中期亮相,届时 dart 将成为 100% 健全的空安全语言,变量默认是「非空」的。
空值引用可以追溯到 1964 年左右,当时英国计算机科学家 tony hoare 在 algol 语言中引入了这个概念。但他自己却把空值引用称为自己的十亿美元错误,因为它导致了数不清的错误、漏洞和系统崩溃,可能在之后 40 年中造成了十亿美元的损失。
dart 从 2.12 版本开始支持健全的空安全,但它保留了运行非空安全代码或部分空安全代码的模式(混合模式)。
dart 通过一系列的静态和运行时检查来提供健全的空安全。每一个使用了空安全的 dart 库都会拥有所有的静态检查和更严格的编译期的错误提醒。对于包含了空安全库的混合模式程序也是如此。
以混合模式的空安全为例,它让软件包的维护者可以迁移至空安全的同时,未迁移至空安全的使用者也可以享受 dart 更新时的问题修复和改进。只不过混合模式的程序无法获得与空安全程序的运行时健全性一致的保证。null 很可能从非空安全的库污染到空安全的代码。
dart 和 flutter 的产品经理 michael thomsen 在博客文章中解释道:
我们的下一个版本,也就是 dart 3,将完成一个完全健全的空安全语言的开发。作为这项开发工作的最后一步,我们将消除 dart 语言和核心库 api 中的历史遗留问题,包括移除已停用的核心库 api 以及对非健全的空安全运行的支持。
dart 的转变将有助于在编译时捕获与类型有关的错误,并应改善代码的可读性、可维护性和提前编译(aot)。
由于转变巨大,对开发者而言肯定是会产生持续一段时间的影响 / 阵痛期,开发者最好是可以在 dart 3 发布之前调整他们的代码。google 也已经发布了迁移工具,开发者也能够相对轻松地完成迁移工作。
在 dart 3 发布后,该语言的下一个重要里程碑可能是支持将 dart 代码编译成 webassembly(wasm),这将使 flutter web 应用程序在浏览器中作为原生代码运行成为可能。这项工作需要 w3c 和浏览器厂商的合作,通过 wasmgc 扩展将对垃圾回收语言的支持加入 wasm。
根据 stack overflow 2022 年的开发者调查,dart 目前在编程语言受欢迎程度上排名第 16 位。在近 7.2 万名受访者中,约有 6.54% 的受访者在使用 dart;相比之下,kotlin(第 15 位)为 9.16%,rust(第 14 位)为 9.32%,go(第 13 位)为 11.15%,ruby(第 17 位)为 6.05%,assembly(第 18 位)为 5.47%,swift 编程语言排在第 19 位,占 4.91%。


中国电信建成全球规模最大的光网络和自主可控的云平台?
iPhone 12系列在明年将消耗全球闪存芯片总产能的5%左右
PCB电磁兼容问题处理办法
教你们如何保障高效IC设计
SOC中单片机嵌入式应用的技术特点
Dart 3将成为100%健全的空安全语言
汽车驾驶时脑电干扰的去除方法研究
贴片安规y电容对比插件式Y电容有哪些优势!
基于双目视觉的自动驾驶中障碍物识别问题
红外热像仪扛鼎之作!艾睿发布可满足电力、化工领域需求热成像新品
用电设备组的计算负荷
人工智能语音鉴黄,高科技助力净化网络环境
压电陶瓷致动器的工作原理
Linux下一个实用的头文件
深圳大学利用光参量放大技术创造了高空间分辨率成像的新记录
格力迎大批新生入职!董明珠金句频出,引爆全场
英伟达与软银达成协议,将以400亿美元收购ARM
2018年,东芝家电业务扭亏为盈
!!销售/收购!HP83220E HP83220E 综合测试
小米14开机动画显示澎湃OS基于Android