Dart 语言是类型安全的：它结合了静态类型检查和运行时检查，以确保变量的值始终与其静态类型相匹配，这有时被称为类型健全性（sound typing）。尽管类型是强制性的，但由于有类型推断，类型注解是可选的。

静态类型检查的一个好处是能够使用 Dart 的静态分析器在编译时发现错误。

类型别名——由于使用 typedef 关键字声明，它常被称为 typedef——是引用类型的一种简洁方式。下面是一个声明和使用名为 IntList 的类型别名的示例：

Dart 语言为以下类型提供了特殊支持：

• 数字（int, double）
• 字符串（String）
• 布尔值（bool）
• 记录（(value1, value2)）
• 函数（Function）
• 列表（List，也被称为数组）
• 集合（Set）
• 映射（Map）
• Rune（Runes；通常被 characters API 替代）
• Symbol（Symbol）
• null 值（Null）

这种支持包括使用字面量创建对象的能力。例如，'this is a string' 是一个字符串字面量，而 true 是一个布尔字面量。

Dart 对列表、集合和映射集合提供了内置支持。要了解更多关于配置集合所包含类型的信息，请查阅泛型。

版本说明
记录（Record）需要语言版本至少为 3.0。

记录是一种匿名的、不可变的、聚合的类型。像其他集合类型一样，它们允许你将多个对象捆绑到一个对象中。与其他集合类型不同，记录是固定大小、异构且类型化的。

记录是真实的值；你可以将它们存储在变量中、嵌套它们、作为函数的参数传递或从函数返回，以及将它们存储在诸如列表、映射和集合等数据结构中。