2024年国产编程语言蓝皮书_66页_7mb

国产编程语言蓝皮书2024
《国产编程语言蓝皮书》由编程语言开放社区（PLOC）联合湖北省软件行业协会编制，基于MulanPSLv2协议授权。该书旨在系统收录国内具备实用性的编程语言项目，为开发者提供全景图，助力国产语言生态发展。2024版新增6个项目（GdelScript、金鱼Scheme、MoonBit、Nasal-Interpreter、PikaPython、XLang），更名2个（Z语言→Auto语言，K语言→Koral语言），并减少1个（豫言）。

编程语言作为软件工业的核心工具，与技术革新紧密相关。从FORTRAN诞生至今，编程语言不断适应产业需求，如C++用于系统软件、JavaScript用于Web、Python用于机器学习等。当前大语言模型与AI技术推动代码自动生成，对编程语言提出新要求。国内语言生态发展迅速，但尚未形成被广泛使用的语言，需政策与社区共同努力。

蓝皮书收录项目需符合：由国内实体发起、符合分类标准、基本可用且可验证、开放且活跃。项目分类包含语言类型（通用/专用）、开源/闭源、是否接受社区贡献及应用领域等标签。

2024年度重要进展包括：国内编程语言社区活动增多，如PLOC在开源会议、嘉年华、年会中设立分论坛；多个语言项目完善生态（如CovScript、MoonBit），部分实现商用场景落地。

项目列表涵盖20个语言及工具，代表性项目如下：

1. Auto语言：通用、开源，支持动态/静态类型，全栈开发，用于UI、嵌入式和后端服务。
2. Aya：函数式语言，支持类型证明，如“插入排序=归并排序”可直接验证等价性。
3. Calcit：基于JavaScript的脚本语言，支持ESModules，可生成HTML模板代码。
4. CovScript：国产语言，性能达900万行/秒，兼容龙芯架构与国产系统，支持云原生和AI协作。
5. DeepLang：内存安全语言，借鉴Rust设计，多阶段编译，强调资源受限场景下的稳定性。
6. 金鱼Scheme：用于教育及科研，语法简洁，支持动态链接库扩展，与C#生态结合。
7. KCL：声明式语言，专注于云原生、数据工程，支持分块配置管理。
8. 洛书：轻量级脚本语言，支持多范式编程，适用于IoT设备控制，具备三级调度模型。
9. MoonBit：Rust语法语言，支持WebAssembly、C后端，集成云原生IDE与AI友好设计。
10. NASL：低代码平台专用语言，可视化编辑器统一设计，支持Java、JavaScript等多端运行。
11. PikaPython：嵌入式Python运行时，兼容主平台与国产芯片，零依赖部署。
12. 青语言：基于Lisp内核，结合C#生态，支持动态/静态语法，提供解释器与IDE。
13. 狮偶：状态机语言，支持多线程与分布式，具备国际化与图形化反馈功能。
14. 凸语言：平衡开发效率与性能，动态语法减少标注负担，静态库提升性能，支持自举。
15. 凹语言：面向WebAssembly设计，具备自动内存管理，已用于游戏与模拟器开发。
16. XLang：Nop平台底层语言，支持可逆计算与DSL生成，具备差量合并机制与XML嵌入功能。

PLOC作为国内编程语言社区，以“从业者互助”为核心，通过标准化流程与项目分类促进生态建设。湖北省软件行业协会作为支持单位，推动根技术发展，构建“2会10平台”服务体系，服务超2500家机构。蓝皮书通过中英文双语版本、项目标准化申报机制，持续追踪语言动态，助力国产软件发展。