App
ArkTS是鸿蒙生态的应用开发语言
ArkTS提供了声明式UI范式、状态管理支持等相应的能力，让开发者可以以更简洁、更自然的方式开发应用。
同时，它在保持TypeScript（简称TS）基本语法风格的基础上，进一步通过规范强化静态检查和分析，使得在程序运行之前的开发期能检测更多错误，提升代码健壮性，并实现更好的运行性能。
针对JavaScript（简称JS）/TS并发能力支持有限的问题，ArkTS对并发编程API和能力进行了增强。
ArkTS支持与JS/TS高效互操作，兼容JS/TS生态。
ArkTS设计理念
- 为更好地支持HarmonyOS应用的开发和运行，从Harmony OS NEXT Developer Preview 0版本开始，ArkTS在TS的基础上，进一步通过规范强化静态检查和分析，这样做有两个好处：许多错误在编译时可以被检测出来，不用等到运行时，这大大降低了代码运行错误的风险，有利于程序的健壮性；2.减少运行时的类型检查，从而降低了运行时负载，有助于提升执行性能。
- ArkTS保留了TS大部分的语法特性，这可以帮助开发者更容易上手ArkTS。同时，对于已有的标准TS代码，开发者仅需对少部分代码进行ArkTS语法适配，大部分代码可以直接复用。
- ArkTS支持与标准JS/TS的高效互操作，兼容JS/TS生态。HarmonyOS也提供了标准JS/TS的执行环境支持，在“更注重已有生态直接复用”的场景下，开发者可以选择使用标准JS/TS进行代码复用或开发，更方便兼容现有生态。
ArkTS相比TS特性差异
ArkTS通过规范约束了TS中过于灵活而影响开发正确性或者给运行时带来不必要额外开销的特性，下面通过代码片段说明部分约束特性。
1.不支持在运行时更改对象布局
以上TS代码片段展示了如何在运行时通过添加和删除某些属性来更改对象的布局。运行时支持此类特性需要大量的性能开销，ArkTS不支持在运行时更改对象的布局。
在ArkTS中，可以使用可选属性和给该属性赋值undefined的方式来替代。
2.对象字面量须标注类型
以上TS代码片段展示了没有类型的场景。如果编译器不知道变量point的确切类型，由于对象布局不能确定，编译器无法深度地优化这段代码，造成性能瓶颈。没有类型也会造成属性的类型缺少限制，例如point.x的类型在此时为number，它也可以被赋值成其他类型，造成额外的运行时检查和开销。
在ArkTS中，需要为对象字面量标注类型。
3.不支持structural typing
以上TS代码片段展示了structural typing特性。在ArkTS已经采用了nominal typing类型系统的前提下，如果额外支持structural typing给语言实现和开发者均会带来不必要的复杂度。在示例中，foo虽然声明参数类型是C，但也可以传递类型D的变量，这种灵活性可能不符合开发者的意图，容易带来程序行为的正确性问题。另外，由于类型D和类型C布局不同，那么foo中对c.s这个属性访问就不能被优化成根据固定偏移量访问的方式，从而给运行时性能造成瓶颈。
