Weekly. 社区周报 [weekly13][edit]

  • 2025/9/15 ~ 2025/9/21

这里是 2025/9/15 ~ 2025/9/21 的社区周报，为单周周报。

1. 本周官方重要动态 [official][edit]

    • MoonBit 迎来三周年里程碑！《MoonBit 三周年 | 用代码写就 AI 时代的语言答卷》 回顾了 MoonBit 自 2022 年 9 月 19 日立项以来的三年发展历程。从最初的愿景“打造一门面向 AI 时代的工业级编程语言与工具链“出发，MoonBit 已发展成为国内首个工业级编程语言，全球用户突破 10 万+，生态包超过两千个。文章详细介绍了 MoonBit 在语言与工具链打磨、AI 原生探索、社区生态建设等方面的重要进展，包括多后端支持（Wasm、JavaScript、Native、RISC-V）、MoonBit Pilot AI 工具、MGPIC 全球编程挑战赛等核心成果，以及进入北京大学课程体系、WebAssembly Component Model 官方文档等重要里程碑。
    • MoonBit 正式加入 WebAssembly Component Model 官方文档！《MoonBit 正式加入 WebAssembly Component Model 官方文档 !》 报道了 MoonBit 已正式收录在 WebAssembly Component Model 的官方文档中，与 Rust、Go、C# 等语言一起出现在开发者查阅组件模型的入口页面中。这标志着 MoonBit 语言以及工具链已经具备了进入跨语言互操作生态的能力，也得到了 Wasm 社区的认可。WebAssembly Component Model 是 Wasm 生态正在推进的核心标准，目标是让不同语言编写的组件能够无缝组合、运行和分发，提供跨语言通用的接口规则。
    • MoonBit 官方发布了技术文章《用 MoonBit 开发一个 C 编译器》，详细介绍了使用 MoonBit 语言开发 C 编译器的技术实践。文章从 MoonBit 的语言特性优势出发，阐述了其在构建编译器时的独特优势：强大的模式匹配能力、函数式循环、LLVM 绑定等。文章还深入介绍了 mbtcc 项目的核心模块实现，包括词法分析、宏展开、语法分析和代码生成等关键环节，展示了 MoonBit 在编程语言实现领域的巨大潜力。该项目已能够编译多种常用数据结构和算法，初步验证了使用 MoonBit 开发 C 编译器的可行性与优越性。
    • MoonBit 官方团队发布了 system-prompt 项目，提供了专为 MoonBit 语言和工具链设计的系统提示词。该项目旨在增强代码代理在 MoonBit 项目上的性能，支持多种 AI 代码代理工具，包括 Claude Code、Cursor、GitHub Copilot 等，并提供了详细的使用指南和配置说明。

    2. 本周社区新增优质项目 [projects][edit]

      • anysynth 开发了一个基于 MoonBit 的代码生成工具 gen，项目目前处于初期开发阶段。该项目使用 MoonBit 语言实现，旨在提供代理式快速编码功能，包含基础的 MoonBit 代码文件和测试框架。
      • Metalymph lorenzo pirro 开发了一个 MoonBit Web 服务器示例项目 moon_webserver_example，演示如何使用 MoonBit 和 Mocket 创建基础 Web 服务器并通过 Docker 部署。该项目展示了如何通过 Node.js 24 将 MoonBit 应用包装在 Docker 容器中，包含完整的构建脚本和部署配置。
      • lue-bird lue 开发了一个 Elm 到 MoonBit 的转译器项目 elm-syntax-to-moonbit，用于将 Elm 语法转换为 MoonBit 代码。该项目目前处于开发阶段，支持基础的 Elm 语法转换，包括函数、类型定义、记录等核心特性，并提供了完整的示例和测试用例。
      • 为适应 MGPIC 2025 游戏赛道可能出现的大量游戏项目出现，从第十期周报到 MGPIC 2025 比赛为止，在“本周社区新增优质项目“底部专门汇总本周出现的新游戏项目，由于编译赛道很多代码并不开源且相对来说没有很大的介绍意义，所以不开设单独的介绍板块。
        • Jasaxion 开发了一个基于 MoonBit 和 WASM-4 的像素格斗游戏 Mymoonbitgame。游戏名为“Lantern Clash · 花灯争锋“，以中国传统灯会为舞台，玩家可以选择功夫熊猫、齐天大圣、哪吒等角色进行对战。游戏采用 MoonBit 语言开发，编译为 WebAssembly 在浏览器中运行，支持三档难度选择和完整的战斗系统。

      3. 本周社区新增优质包 [packages][edit]

        • FlyCloudC 开发了一个用于自动微分的泛型库 little_mox，类似于 Python JAX 库。该库演示了在自动微分中使用泛型的方法，支持对泛型函数进行微分计算、函数编译为方程列表、方程简化等功能。库提供了 diff 函数用于计算导数、Func 类型用于表示编译后的函数、支持高阶导数计算（如二阶导数）、函数编译和方程简化等特性，适用于科学计算、机器学习和数值分析等需要自动微分的应用场景。
        • Mepy Qihao LIAN(练 琪灏) 开发了一个基于 MoonBit 的有限自动机库 Laurus，提供了完整的 NFA（非确定性有限自动机）和 DFA（确定性有限自动机）实现。该库支持字符区间处理、状态转换、空转移、NFA 到 DFA 的转换等核心功能，包含正则表达式构建操作（联合、连接、星号、加号、取反等）。库提供了高效的区间合并算法、子集构造算法和空闭包计算，支持 Unicode 字符处理（CodePoint 范围 0x0-0x10FFFF），适用于词法分析器、正则表达式引擎、编译器前端和模式匹配等应用场景。
        • CGaaaaaa 开发了一个 GitIgnore 模式匹配库 gitignore，符合 Git 官方规范。该库支持基本模式匹配、通配符、路径模式、双星号模式、否定模式等功能，提供零依赖实现，适用于解析和匹配 .gitignore 文件模式。
        • CGaaaaaa 开发了一个 Shell 词法分析库 Shlex，用于解析和处理类 Shell 命令字符串。该库支持字符串分割、引号处理、转义字符、注释支持、错误处理和字符串重构等功能，提供 Unicode 支持和详细错误信息，适用于命令行工具参数解析和配置处理。
        • CGaaaaaa 开发了一个 ASN.1 DER 编码解码库 DER，提供类型安全的 DER 数据处理。该库支持完整的 ASN.1 数据类型（BOOLEAN、INTEGER、BIT STRING、OCTET STRING、NULL、OBJECT IDENTIFIER、SEQUENCE、SET 等）、严格 DER 规则、对象标识符支持、错误处理和格式化输出，适用于证书处理、加密标准和协议实现。
        • Rutubet 开发了一个 RSA 加密算法库 moon_rsa，实现了 RSA 公钥加密算法。该库目前实现了 RSA 密钥对生成功能，支持自定义密钥长度（2048/4096 位），并计划添加 RSA 加密解密、数字签名生成验证、PKCS#1 v2.2 兼容的填充方案和 X.509 证书支持等功能。库包含完整的 RSA 算法实现，支持密钥生成、加密解密和数字签名等核心功能，适用于安全通信、数字签名和证书处理等应用场景。
        • node Chris (Gentle) Y 杨 开发了一个 SSMP 协议库 ssmp-moonbit，实现了 Simple Simple Messaging Protocol 协议。该库包含完整的协议序列化和反序列化功能，支持任意字节载荷打包、分片 TCP 数据流解析和状态管理。库提供了多任务 TCP 服务器和客户端实现，支持并发连接处理、消息收发和网络通信，包含完整的示例程序，适用于物联网数据采集、网络通信和分布式系统等应用场景。
        • illusory0x0 猗露 开发了一个代码片段选择工具 illu-quote.mbt，用于从源文件中选择代码片段并返回源码位置信息。该工具支持代码片段提取、源码位置定位、文件读取和代码操作等功能，类似于 Rust 过程宏的代码操作能力。工具包含 quote 函数用于选择代码片段、current_source_location 函数用于获取当前位置信息，支持源码路径、行列位置等详细信息，适用于代码生成、宏处理和开发工具等应用场景。
        • illusory0x0 猗露 开发了一个数据类型转换库 illu-conv.mbt，从 moonbitlang/core 适配而来。该库包含字符串转换和字节转换模块，支持多种数据类型之间的转换操作。库提供了 string_conv 和 bytes_conv 两个核心模块，实现了高效的数据类型转换功能，支持字符串处理、字节操作和格式转换等特性，适用于数据处理、序列化和格式转换等应用场景。
        • illusory0x0 猗露 开发了一个计算器项目 calculator.mbt，使用 moonyacc 解析器构建。该项目包含词法分析器、语法分析器和位置处理等核心模块，支持数学表达式解析和计算功能。项目提供了完整的解析器实现，包含 lexer.mbt、parser.mbt、tokens.mbt 和 position.mbt 等文件，支持数学运算、表达式求值和语法分析等特性，适用于编译器前端、表达式计算器和教学演示等应用场景。
        • SupremeHuaji 开发了一个高性能四叉树库 Quadtree，用于 2D 空间数据的高效存储和复杂几何查询。该库支持四叉树创建、点管理、高级查询、空间分析、树操作、内存管理和聚类等功能。库提供了矩形、圆形、多边形、射线和扇形查询，支持 K 近邻、密度热点、空间自相关分析，包含 DBSCAN 聚类算法、自适应插入、JSON 序列化和自动内存优化等特性，适用于地理信息系统、游戏开发、数据可视化和空间分析等应用场景。
        • illusory0x0 猗露 开发了一个 inspect 测试工具 illu-inspect.mbt，用于检查和更新测试中的预期参数。该工具支持 inspect 测试检查、源文件参数更新、测试块管理和文件管理等功能。工具包含 inspect_test.mbt、test_block.mbt 和 test_file_manager.mbt 等测试模块，支持环境变量控制、测试参数自动更新和测试结果验证等特性，适用于单元测试、集成测试和测试自动化等应用场景。
        • chaijie2018 柴杰 开发了一个编译器图算法库 graph4compiler，专门用于编译器开发。该库支持有向图和无向图、自定义节点和边权重、深度优先搜索（DFS）、广度优先搜索（BFS）、拓扑排序、LCA 算法、并查集算法、Lengauer-Tarjan 算法等功能。库提供了完整的图数据结构实现，支持 DOT 格式导入导出、Graphviz 可视化、图遍历和路径查找等特性，适用于编译器前端、中间表示优化、控制流分析和数据流分析等应用场景。
        • echozyr2001 Yiran Zeng 开发了一个 N 维数组库 Luna，实现了类似 NumPy 的多维数组功能。该库支持 N 维数组创建、元素访问、形状操作、步长计算和内存布局管理等功能。库提供了数组创建（zeros、ones、full、arange、eye、random）、元素级运算（add、sub、mul、add_scalar、mul_scalar）、矩阵运算（dot、transpose）、聚合函数（sum、mean、max、min）和形状操作（reshape、flatten）等特性，适用于数值计算、科学计算和机器学习等应用场景。
        • enanandesu NyarukOoO 开发了一个 ICC 配置文件解析器 icc，用于解析国际色彩联盟（ICC）配置文件。该库支持 ICC 头部信息提取、文本标签解码、标签数据处理和配置文件验证等功能。库提供了多种解析方式（文件、字节、缓冲区、字符串）、UTF-16BE 编码支持、四字符签名扩展、防御性解析和详细错误报告等特性，适用于色彩管理、图像处理和打印系统等应用场景。
        • iceBear67 开发了一个 ClassFile 解析器/写入器 mbt-classfile，基于 JVMS Ch.4 规范，支持 Java SE 24 版本。该库支持 ClassFile 格式解析、Java 类型描述符解析、泛型签名解析、ClassFile 写入和字节码反汇编功能。库提供了完整的 ClassFile 实现，包含常量池、字段、方法、属性和注解处理，支持类似 javap 的实用工具，适用于 Java 互操作性、字节码分析和编译器开发等应用场景。

        4. 本周社区动态 [community][edit]

          • 常驻消息：中国科学院软件所的 PLCT（Programming Language and Compiler Technology）实验室为在读学生提供了 MoonBit 实习机会，包括 J139 MoonBit 应用开发与 J147 MoonBit RISC-V 编译器开发，远程/自由度高，有兴趣的同学可以关注 PLCT 实验室的实习生岗位信息。