HarmonyOS鸿蒙Next开发语言不是ArkTS吗？怎么又搞了个仓颉语言？

仓颉编程语言是一款由华为技术有限公司开发的现代化编程语言，旨在满足全场景应用开发的需求。它的设计融入了多种编程范式，包括函数式、命令式和面向对象编程，提供了高度的灵活性和表达力。

主要特点：

1. 多后端支持：仓颉支持编译到原生二进制代码（CJNative后端）和字节码（CJVM后端），适用于不同的运行环境。
2. 语法简明高效：采用了一系列简洁高效的语法，如插值字符串、主构造函数等，以提高开发效率。
3. 安全可靠：支持自动内存管理，运行时进行各种安全检查，如数组下标越界检查、类型转换检查等，确保程序运行的安全性。
4. 高效并发：提供了轻量化线程和支持并发编程的机制，使得并发处理既高效又易于管理。
5. 兼容语言生态：支持与C等语言的互操作，允许高效复用现有语言库。
6. 领域易扩展：支持通过元编程定制程序的语法和语义，有利于构建嵌入式领域专用语言。
7. 内置库功能丰富：配备了丰富的内置库，覆盖了数据结构、网络通信、数据库访问等多个领域。

ArkTS是HarmonyOS应用开发的官方高级语言，它基于TypeScript（TS）生态进行了进一步的扩展和优化。ArkTS的主要特点包括：

1. 语言基础：ArkTS保持了TypeScript的基本风格，但通过规范定义强化了开发期的静态检查和分析，这有助于提升代码的健壮性和程序的执行稳定性。
2. 性能优化：ArkTS专注于降低运行时开销，它对TypeScript的动态类型特性施加了更严格的限制，从而减少运行时开销，提高执行效率。
3. 并发编程增强：针对TypeScript/JavaScript并发能力支持有限的问题，ArkTS提供了TaskPool和Worker两种并发API，以及Sendable概念来支持对象在并发实例间的引用传递，增强并发编程的能力。
4. 高效互操作：ArkTS支持与TypeScript/JavaScript的高效互操作，使得开发者可以灵活地在不同语言之间进行选择和组合。