起飞!国产编程语言MoonBit迈进顶级学府、发布重磅LLVM后端,受邀欧美顶级大会

B站影视 港台电影 2025-03-10 12:32 1

摘要:来自深圳团队打造的 MoonBit 编程语言,过去一年迅猛发展,截止目前核心用户数已破 4 万(数据统计口径为 IDE 插件活跃用户)。作为定位于云计算、边缘计算、WebAssembly(WASM) 和 AI 时代的编程语言,MoonBit 适用于高性能、低延

前言

来自深圳团队打造的 MoonBit 编程语言,过去一年迅猛发展,截止目前核心用户数已破 4 万(数据统计口径为 IDE 插件活跃用户)。作为定位于云计算、边缘计算、WebAssembly(WASM) 和 AI 时代的编程语言,MoonBit 适用于高性能、低延迟的分布式系统、以及需快速部署的轻量化微服务和跨平台兼容性的场景。过去一年 MoonBit 不仅成功收获首个数据库行业的商业用户,也迎来的海外知名云厂商 Golem Cloud 实际场景的使用。更重要的是在教育领域,除了被引入清华大学暑期实践课程、受邀在 2024 亚洲和太平洋地区信息学奥林匹克讲授项目;MoonBit 今年正式走进北京大学计算机学院的研究生《编程语言的设计原理》课程。

值得一提的是全球知名的编程技术会议 「LambdaConf」 邀请 MoonBit 团队负责人张宏波出席主旨演讲,这是国产基础软件首次亮相该大会,标志着国产基础软件在编程领域取得了里程碑式的突破。

一并被邀请的既有著名独立解密游戏作者 Jonathon Blow ,还有新加坡前总理李显龙的儿子李浩毅。

技术发展历程&显著优势

1、发展历程

此前 MoonBit 相继推出了 JS、Native 后端,并在去年 8 月正式推出了 Beta 预览版本,今年初又新增了 LLVM 后端,板块布局已齐,接下来在异步支持等功能完善后,会在大约今年底的时间正式推出 1.0 版本。

图片来自 MoonBit 官网

2、MoonBit 优势明显

图片来自 MoonBit 官网

MoonBit 目前在 WASM 上有很大优势,生成的文件体积显著小于如 Rust、Go 等主流编程语言,如「http-hello-world」示例代码体积仅 27KB,运行速度和编译速度也均优于传统语言,支持 JavaScript 后端时性能提升可达 8 倍。

在语言设计上,MoonBit 充分考虑 AI 大模型时代会有更多的代码由 AI 生成,从顶层设计实现语言简洁和高性能的平衡,结合命令式(如可变量、while 循环)与函数式编程(如不可变数据结构、模式匹配、高阶函数),适合算法实现与复杂业务逻辑。支持零开销泛型和追踪编译时错误,强类型系统增强代码可读性,减少开发负担。

值得一提的是,工具链与生态正在快速完善中,MoonBit 提供在线 IDE、编译器、包管理器和调试工具,支持智能代码补全与 AI 辅助开发,并且通过局部/全局代码重采样,大幅度优化 AI 生成代码的准确性与效率。

3、海外的声量

MoonBit 相继被 Hacker News 、《The New Stack》、日本技术社区 zenn.dev 以及意大利科技媒体 Redhotcyber 等报道,海外社区呈现繁荣态势。

图片来自 MoonBit 官网

最新动态

1、LLVM 后端发布

编程语言最重要的就是性能突破、开发者体验革新和解决现有编程语言在关键场景的瓶颈,换句话说若一门新语言无法在核心性能与易用性上创造代际优势,开发者便不会承认其存在价值。

MoonBit 同步完善 C 后端并推出 LLVM 后端,分别针对嵌入式设备优化与跨平台高性能场景,通过统一工具链实现从硬件层到服务端的全场景覆盖。

性能维度:LLVM 后端复用与 Rust/Swift 相同的工业级优化管线(如自动向量化、LTO),为 MoonBit 提供与现代语言同级的优化潜力。

体验维度:原生集成 DWARF 调试信息,支持 GDB/LLDB 源码级调试,并计划实现运行时数据结构可视化。

生态扩展:基于 LLVM 对 RISC-V 向量扩展等新硬件的原生支持,MoonBit 可快速适配前沿架构。

1)性能实测:LLVM 后端的工业级表现

LLVM 后端的 MoonBit 在性能方面也有着不俗的成绩。比如使用经典的 FFT 算法 benchmark(https://github.com/moonbit-community/moonbit-native-benchmark1) ,让 MoonBit 和 Java 运行同样的 Cooley-Tukey 算法。MoonBit 相比 Java 有 8 倍以上的性能提升,比将 Java 静态编译的编译器 GraalVM 也有3 倍以上的性能提升。LLVM 的引入带来的最显著的改进是,MoonBit 语言自身编译到原生二进制文件的过程可以完全脱离 C 编译器进行,避免了 C 编译器带来的各种兼容性问题。在支持直接分发预编译的运行时库后,MoonBit 程序将彻底脱离对 C 编译器的依赖,可以仅依赖链接器生成原生程序。

下面是 MoonBit 与 Java 实现的 FFT 算法的性能对比。FFT(快速傅里叶变换)是一个计算序列的离散傅里叶变换的高效算法。FFT 算法涉及大量数值运算和数组操作,可以很好地体现语言的基础性能:

FFT 任务运行中位数时间(x86_64 Linux, Intel Core i7-12700)

2)原生后端调试支持

在面向虚拟机的 JS 后端,借助 Chrome Debugger,MoonBit真正实现了调试体验的"开箱即用"。然而,对于面向原生平台的 C 后端,调试体验却并不完全尽如人意。

在 LLVM 的帮助下,当前 MoonBit 编译器已具备向最终二进制文件注入 DWARF 格式符号表的能力。MoonBit 现在可以向输出二进制文件中插入调试信息,将二进制文件中的指令直接对应到源文件和行号列号。基于该调试信息生成机制,MoonBit 工具链支持开发者使用标准调试工具(如LLDB)对编译产物进行源码级调试。

2、进入北大计算机学院研究生课程

北京大学计算机学院的研究生课程《编程语言的设计原理》(https://pku-dppl.github.io/2025/)做出重要调整——自 2025 年春季学期起,MoonBit 替代 OCaml 成为该课程推荐的实践工具。

编程语言的发展通常较为漫长,像 OCaml 等经典语言经过 30 多年的学术验证,才逐步在教学中得到广泛应用。高校在选择教学工具时,通常对语言的成熟度和稳定性有着严格的要求。北大作为一所顶尖学府,选择一门仅诞生 2 年的编程语言,无疑是一次大胆的创新之举,同时也标志着对 MoonBit 的认可。

3、受邀出席两大国际顶尖会议:WASM I/O 和 LambdaConf

去年 12 月, MoonBit 宣布正式开源核心的编译器 WASM 后端,吸引包括美国、日本和意大利等海外开发者的关注。今年,据悉 MoonBit 受邀参加今年 3月举办的 WASM I/O 国际技术大会(全球 WASM 生态领域最具影响力会议)上,成为首个登上该会议的中国开发者平台。

同时,全球知名的编程技术会议 LambdaConf 也向 MoonBit 负责人张宏波发出主旨演讲邀请 。

LambdaConf 至今已经有十年的历史,是全球技术交流的重要平台。会议涵盖编程语言、机器学习、分布式系统等技术方向。

知名编程语言设计者和独立游戏开发者 Jonathon Blow 也受邀参加本次大会。Jonathon Blow 是 Jai 编程语言的创始人,开发了独立游戏界的里程碑之作《Braid》和《The Witness》。凭借在游戏与技术两大领域的突破性成就,Jonathon Blow 被视为现代独立游戏运动的开创者之一。

新加坡前总理李显龙的儿子李浩毅也在演讲者名单, 他将作为 Scala 社区的核心贡献者发表技术演讲。

总结

MoonBit 未来被多重因素所影响,当然也存在许多打破局面跃升为一流编程语言的奇点。

不远的将来 Wasm 的“跨平台潜力”大概率会转化为开发者的“生产力革命”。通过 Wasm 体积和启动速度上的优势,同时加快提升标准库丰富度(如内置分布式事务处理库)等,MoonBit 将击败 Rust 和 Go 等成熟编程语言,牢牢占据 WASM 这块蛋糕。

通过编译器优化, 能将生成代码体积极致压缩,MoonBit 可能成为边缘计算或云计算的首选语言(类似 Solidity 但更高效)。

随着使用 MoonBit 用户的不断增多,其优势将被更多开发者知晓,逐步会有更多开发者使用 MoonBit 复刻经典应用,不远的将来会被众多企业用户所认可。

总的来说 MoonBit 可能成为 “AI 大模型 & 云计算时代的 C 语言”——既是高性能基础设施的构建工具(如操作系统、数据库),又是应用层开发的通用选择。

参考:

MoonBit 官网文档:https://docs.moonbitlang.cn/tutorial/tour.html

《运行速度比Go快35倍,国产编程语言MoonBit崛起,全球编程创新挑战赛震撼来袭!》

《国产编程语言月兔(MoonBit)崭露头角,首发登顶 Hacker News!》

来源:CSDN

相关推荐