ArkTS 编程语言

ArkTS 是 HarmonyOS 应用开发语言，在继承 TypeScript 核心语法特性的基础上，构建规范化的类型系统，通过编译期静态检查与分析机制，提升代码健壮性，并实现更好的运行性能，更简洁、更自然开发高性能应用。

静态检查

静态类型是ArkTS最重要的特性之一。使用静态类型，程序中变量的类型是确定的，编译器可以验证代码的正确性，从而减少运行时的类型检查，有助于性能提升。

针对TS/JS并发能力支持有限的问题，ArkTS对并发编程API和能力进行了增强，提供了TaskPool和Worker两种并发API供开发者选择。另外，ArkTS进一步提出了Sendable的概念来支持对象在并发实例间的引用传递，提升ArkTS对象在并发实例间的通信性能。