无涯教程网

Dart 什么是健全的编程语言

发布于03月19日

根据Dart's website

dart 是一种有声语言.

上面句子中"声音"的意思是什么？

我在其他主要编程语言中找不到任何类似的概念.有没有人能再举几个sound languages的例子？

推荐答案

这与音频无关.

根据维基百科:

也就是说，如果一个类型系统既是100(意味着它拒绝所有不正确的程序)又是可判定的(意味着可以编写一个算法来确定一个程序的类型是否正确)

(比照https://en.wikipedia.org/wiki/Type_system#Static_type_checking)

有关词源的考虑，请参阅"Soundness".

TL；DR:在这里，它的意思是"强健"、"健康".

Dart相关问答推荐

S，返回Future.sync()的函数和不需要等待的异步函数有什么区别？

如何映射作为DART中其他模型基础的复杂模型

具有级联省道的三元算子的奇异行为

Dart StreamController().stream 等于 == 但不相同

Dart：当两个或多个任务等待同一个 Future 时会发生什么

flutter：使用提供程序时，状态在热重载时丢失

MappedListIterable 不是子类型

如何将 Dart 代码迁移到不可空 (NNBD)？

如何在 Flutter/dart 中获取一周中特定日期的日期？

如何在Flatter中打开设备GPS？

在向下滚动时隐藏底部导航栏，反之亦然

从real mobile浏览器访问Flatter localhost

Flutter 如何使用 ListTile 三行

如何在 showModalBottomSheet 中设置状态

在 Dart 中发送 SMTP 邮箱

轻松判断数字是否在 Dart 的给定范围内？

是否可以在 Dart 中的一行上初始化列表？

dart中是否可以有一个私有构造函数？

dart 折叠(Fold)与减少(Reduce)

在 Dart 中将类型化函数作为参数传递

实用课程推荐

相关教程推荐