快速导航
软件介绍
仓颉编程语言作为一款融合多范式编程的新一代智能语言，它以"原生智能化、天生全场景"为核心理念，通过创新的类型推断系统和多范式支持，显著降低开发者的认知负担。无论是函数式编程爱好者、面向对象开发专家，还是追求极致性能的工程师，都能在仓颉语言中找到得心应手的开发方式，体验前所未有的编码效率和运行性能。
软件优势
智能类型系统
先进的类型推断引擎
最小化类型标注需求
编译期类型安全检查
全场景支持能力
统一语言适配前后端开发
原生支持云原生与边缘计算
嵌入式系统友好设计
极致性能表现
接近原生代码的执行效率
零成本抽象设计
高效内存管理模型
多范式融合
无缝结合函数式与面向对象
响应式编程内置支持
元编程能力开放
开发体验优化
智能代码补全
实时错误检测
交互式REPL环境
核心功能
语言基础功能
自动类型推断系统
不可变数据默认支持
模式匹配语法糖
并发编程支持
轻量级协程实现
无锁并发数据结构
分布式编程原语
安全特性
内存安全保证
数据竞争预防
形式化验证接口
工具链集成
一体化构建系统
智能依赖管理
跨平台编译支持
生态扩展
渐进式类型系统
FFI外部函数接口
包管理与分发系统
开发辅助
可视化性能分析
智能重构工具
文档自动生成
软件特征
1、多后端支持：支持 CJNative 和 CJVM 两种后端。其中 CJNative 后端将代码编译为原生二进制代码，直接在操作系统层面上运行;CJVM 后端将代码编译为字节码，基于 VM(虚拟机)进行运行。本文档适配 CJNative 后端。
2、语法简明高效：提供了一系列简明高效的语法，旨在减少冗余书写、提升开发效率，例如插值字符串、主构造函数、Flow 表达式、match、if-let、while-let 和重导出等语法，让开发者可以用较少编码表达相关逻辑。
3、多范式编程：支持函数式、命令式和面向对象等多范式编程，融合了高阶函数、代数数据类型、模式匹配、泛型等函数式语言的先进特性，还有封装、接口、继承、子类型多态等支持模块化开发的面向对象语言特性，以及值类型、全局函数等简洁高效的命令式语言特性。开发者可以根据开发偏好或应用场景，选用不同的编程范式。
4、类型安全：软件是静态强类型语言，通过编译时类型检查尽早识别程序错误，降低运行时风险，也便于代码维护。同时，仓颉编译器提供了强大的类型推断能力，可以减少类型标注工作，提高开发效率。
5、内存安全：支持自动内存管理，并在运行时进行数组下标越界检查、溢出检查等，确保运行时内存安全。
6、高效并发：提供了用户态轻量化线程(原生协程)，以及简单易用的并发编程机制，保证并发场景的高效开发和运行。
7、兼容语言生态：支持和 C 等主流编程语言的互操作，并采用便捷的声明式编程范式，可实现对其他语言库的高效复用和生态兼容。
8、领域易扩展：提供了基于词法宏的元编程能力，支持在编译时变换代码，此外，还提供了尾随 lambda、属性、操作符重载、部分关键字可省略等特性，开发者可由此深度定制程序的语法和语义，有利于内嵌式领域专用语言(Embedded Domain Specific Languages，EDSL)的构建。
9、助力 UI 开发：UI 开发是构建端侧应用的重要环节，基于仓颉编程语言的元编程和尾随 lambda 等特性，可以搭建声明式 UI 开发框架，提升 UI 开发效率和体验。
10、内置库功能丰富：提供了功能丰富的内置库，涉及数据结构、常用算法、数学计算、正则匹配、系统交互、文件操作、网络通信、数据库访问、日志打印、解压缩、编解码、加解密和序列化等功能。
应用场景
1、鸿蒙系统应用场景
在鸿蒙系统的应用场景中，软件凭借现代语言特性的集成、全方位的编译优化和运行时实现、开箱即用的IDE工具链支持，为开发者创造了友好的开发体验和卓越的程序性能。此外，针对未来鸿蒙系统AI原生应用的开发，为开发者提供了一整套内嵌Agent DSL的编程框架和智能开发工具，方便开发者高效完成鸿蒙系统AI原生应用的开发。
2、服务器/云场景
在云场景下，软件提供微服务应用开发框架，提供基于预编译处理模式的IOC容器、AOP切片编程、ORM和事务管理、端到端异步请求以及与其他组件的快速对接，帮助开发者快速构建微服务应用，并通过仓颉轻量级用户态线程和高性能网络协议库，充分利用系统资源，高效开发高性能云服务应用。同时，仓颉社区与合作伙伴和开发者合作，构建了丰富的三方库和中间件生态，方便开发者构建仓颉程序。
