Dart编程语言的主要特性包括：
静态类型：Dart是一种静态类型语言，可以在编译时检测类型错误，提高代码的可靠性和可维护性。
单线程模型：Dart使用单线程模型，通过事件循环机制实现非阻塞的异步编程。
可选的类型检查：Dart支持可选的类型检查，可以根据需要选择是否显式声明变量的类型。
支持异步编程：Dart内置了Future和Stream等异步编程的概念和机制，方便处理异步任务和事件流。
支持面向对象编程：Dart是一种面向对象语言，支持类、对象、继承、多态等面向对象编程的特性。
支持泛型：Dart支持泛型，可以在编写代码时对数据类型进行参数化，提高代码的灵活性和重用性。
支持扩展方法：Dart支持扩展方法，允许为现有的类添加新的方法，提高代码的可读性和可组合性。
支持接口和混入：Dart支持接口和混入等抽象方法，可以实现代码的模块化和重用。
支持JIT和AOT编译：Dart支持Just-In-Time（JIT）和Ahead-Of-Time（AOT）编译，可以在开发阶段实现快速的编译和调试，也可以生成高效的可执行文件。
总的来说，Dart是一种功能丰富、灵活和高效的编程语言，适用于开发各种类型的应用程序，特别是移动应用和Web应用。