ArkTS是HarmonyOS优选的主力应用开发语言。

ArkTS围绕应用开发在TypeScript（简称TS）生态基础上做了进一步扩展，保持了TS的基本风格，同时通过规范定义强化开发期静态检查和分析，提升程序执行稳定性和性能。

目前流行的编程语言TypeScript是在JavaScript基础上通过添加类型定义扩展而来的，而ArkTS则是TypeScript的进一步扩展。TypeScript深受开发者的喜爱，因为它提供了一种更结构化的JavaScript编码方法。ArkTS旨在保持TypeScript的大部分语法，为现有的TypeScript开发者实现无缝过渡，让移动开发者快速上手ArkTS。

ArkTS相比TS特性差异

​ ArkTS通过规范约束了TS中过于灵活而影响开发正确性或者给运行时带来不必要额外开销的特性，下面通过代码片段说明部分约束特性。

ArkTS通过声明引入变量、常量、函数和类型。

变量声明

以关键字let开头的声明引入变量，该变量在程序执行期间可以具有不同的值。

常量声明

以关键字const开头的声明引入只读常量，该常量只能被赋值一次。对常量重新赋值会造成编译时错误。

自动类型推断:

由于ArkTS是一种静态类型语言，所有数据的类型都必须在编译时确定。

但是，如果一个变量或常量的声明包含了初始值，那么开发者就不需要显式指定其类型。ArkTS规范中列举了所有允许自动推断类型的场景。

以下示例中，两条声明语句都是有效的，两个变量都是string类型：

比较运算符
===:如果两个操作数严格相等（不同类型的操作数是不相等的），则返回true。

!==:如果两个操作数严格不相等（不同类型的操作数是不相等的），则返回true。

==:如果两个操作数相等（尝试先转换不同类型的操作数，再进行比较），则返回true。

!=:如果两个操作数不相等（尝试先转换不同类型的操作数，再进行比较），则返回true。

(>):如果左操作数大于右操作数，则返回true。

(>=):如果左操作数大于或等于右操作数，则返回true。

<:如果左操作数小于右操作数，则返回true。

<=:如果左操作数小于或等于右操作数，则返回true