MoonBit 月兔：大语言模型时代的软件开发起点-叶子航.pdf

1、大语言模型时代的软件开发起点大语言模型时代的软件开发起点叶 子 航目录月兔开发平台介绍大模型在大型开发平台项目上的主要难点月兔设计理念与关键思考AI时代下的云原生开发平台多范式编程语言全工具链开发月兔 集成环境月兔 调试器MoonBit 项目展示MoonBit 核心组件构建系统基于 n2(Rust)编译器OCaml100%自研核心IDE静态分析CoverageMoonBit DocsLlama2构建系统工具链AIIDEllama.cpp测试目标：世界级编程语言及工具链支持多后端MoonBit 人工智能MoonBit AI&Static analyzerWebAssembly（Edge Comp

2、uting）MoonBit 集成开发环境MoonBit IDE不同于追求传统科研机构的单点创新，MoonBit着眼于大规模系统工程能力。云+边缘目标：跨平台、体积小、编译快特点：垂直整合、全局优化作用：可允许离线模式下的云IDE教育：科技平台+学研同盟目标：全球化视野、业界领先的教学合作平台特点：无需插件，一件安装作用：共同培养国际顶尖创新科技人才AI：IDE智能+人工智能目标：AI first 平台，赋能未来编程特点：创新融合传统IDE与大模型智能作用：需求生成、一键生成、部署调试的无缝衔接JS（UI）运行时DogfoodNative（System Programming）JVM（Sever

3、 side）Revise编译器编程语言构建系统IDEMoonBit MoonBit 平台平台数据来源：https:/ LLM4Code 2024LLM4Code 2024大模型下语言需要解决的问题安全性原生的AI人机交互减少幻觉大模型的安全性软件安全性FBI Warning White House Warning使用内存安全的编程语言大模型的幻觉对于新的编程语言，如何生成高质量代码大模型的交互Zed样例VSCode样例https:/ Intermediate Language（CIL），但以Web为中心MoonBitMoonBit专为高效的死代码消专为高效的死代码消除而设计，并且具有为了轻松除

4、而设计，并且具有为了轻松删除死代码而设计的标准库结删除死代码而设计的标准库结构。通过全局代码优化，构。通过全局代码优化，MoonBitMoonBit显著减小了最终生成显著减小了最终生成的的WasmWasm代码大小，提高了安全代码大小，提高了安全性并减少了攻击面，并且确保性并减少了攻击面，并且确保在无服务器计算环境中快速启在无服务器计算环境中快速启动动MoonBit的快速静态分析能力、设计上就考虑到了代码三重的安全保障，比如安全的类型系统、WASM的安全沙箱机制，以及我们的死代码删除技术MoonBitMoonBit-安全性可解释性、可验证性、可测试性内置测试功能可解释性、可验证性、可测试性AI参

5、与的开发流程提供测试覆盖率统计工具提供测试功能愿景：AI自主迭代可解释性、可验证性、可测试性人与AI协同开发人对结果进行审核生成测试覆盖报告AI生成测试MoonBit减少幻觉pubxyfnp.xycopub fn sum(p:Point)struct Point cordx:IntMoonBit-平坦化设计平坦化设计适配TransformerMoonBit AIMoonBit-原生的AI人机交互Block-based 编辑器MoonBit代码公开路线图编译器开放TBA发布包管理Beta版本2024.2.222024.3.82024.8.182025TBA编译器开放标准库开放构建系统开放1.0 版本总结全产品协同设计编程语言：语法、类型系统、开发工具：编译器、构建系统、IDE、生态构建：测试、代码覆盖率工具、严肃认真