仓颉 - 一款面向全场景应用开发的现代编程语言

仓颉编程语言作为一款面向全场景应用开发的现代编程语言

仓颉编程语言白皮书：https://developer.huawei.com/consumer/cn/doc/cangjie-guides-V5/cj-wp-abstract-V5

• 高效编程：

  面向应用开发，支持各种常见的开发范式和编程模式。仓颉是一门多范式编程语言，支持函数式、命令式和面向对象等多种范式，包括值类型、类和接口、泛型、代数数据类型、模式匹配、以及高阶函数等特性。此外，仓颉还支持类型推断；语言内置的各种语法糖和宏（macro）的能力，支持开发者基于仓颉快速开发领域专用语言（DSL），构建领域抽象。

• 安全可靠：

  仓颉追求编码即安全，通过静态类型系统和自动内存管理，确保程序的类型安全和 null safety 等内存安全；同时，仓颉还提供各种运行时检查，包括数组下标越界检查、类型转换检查、数值计算溢出检查、以及字符串编码合法性检查等；此外，还提供代码扫描工具、混淆工具以及消毒器。

• 轻松并发：

  仓颉语言实现了轻量化用户态线程和并发对象库。仓颉语言采用用户态线程模型，每个仓颉线程都是极其轻量级的执行实体，拥有独立的执行上下文但共享内存。从运行态视角看，线程的管理由运行时完成，不依赖操作系统的线程管理。仓颉语言提供了并发对象库，并发对象的方法是线程安全的。对于一些核心库，仓颉还提供了无锁或者细粒度锁的算法实现。

• 卓越性能：

  仓颉编译器及运行时从全栈对编译进行优化，包括编译器前端基于 CHIR（Cangjie HighLevel IR）高层编译优化（比如语义感知的循环优化、语义感知的后端协同优化等），基于后端的编译优化（比如：SLP 向量化、Intrinsic 优化、InlineCache、过程间指针优化、Barrier 优化等），基于运行时的优化（比如轻量锁、分布式标记、并发 Tracing 优化等）。另外仓颉语言对运行时进行原生的轻量化设计，通过对运行时模块化分层设计，定义仓颉公共对象模型和运行时公共基础组件，基于公共对象模型，实现运行时的内存管理、回栈、异常处理、跨语言调用等基础能力。还使用了包的按需加载技术。

除此之外，仓颉还支持面向应用开发的一系列工具链，包括语言服务（高亮、联想）、调试（跨语言调试、线程级可视化调试）、静态检查、性能分析、包管理、文档生成、Mock 工具、测试框架、覆盖率工具、Fuzz 工具以及智能辅助编程工具。