肖铭坤_moonbit-ai-native-beamer.pdf

《肖铭坤_moonbit-ai-native-beamer.pdf》由会员分享，可在线阅读，更多相关《肖铭坤_moonbit-ai-native-beamer.pdf（16页珍藏版）》请在三个皮匠报告上搜索。

1、MoonBit：用 AI 快速构建可靠软件的基础设施从工程审美、语言抽象到可信软件AI 原生语言可靠软件基础设施AI 会让代码更便宜，但不会让好软件自动出现。Mingkun Xiao2026-03-22AI 是价值放大器而不是价值创造器生成成本下降，并不等于软件价值自动上升。越容易被复制的东西，越快失去稀缺性。真正变贵的，是速度、可靠性、可扩展性、迭代闭环。所以最值得下注的，是更强的工具链/基础设施。AI 会放大高价值软件，也会让低价值软件更快归零。硬例子：AI 公司开始收购基础软件2025-12-03，Anthropic 宣布收购 Bun2026-03-19，OpenAI 收购AstralA

2、I 时代的编程语言基础设施/工具链将发挥更大作用Source:Anthropic,2025-12-03,Anthropicacquires Bun as Claude Code reaches$1Bmilestone.MoonBit：用 AI 快速构建可靠软件的基础设施2/15AI 时代真正稀缺的是可靠的系统闭环越来越便宜的部分样板代码与局部实现重复性的 glue codedemo 级功能拼装单点功能试错与重写反而更贵的部分需求到发布的可靠闭环多模块边界与一致性回归验证、性能与扩展性长周期演化中的架构稳定性AI 把写出局部代码变便宜，但把维持整个系统持续正确运转这件事凸显得更贵。MoonBit

3、：用 AI 快速构建可靠软件的基础设施3/15架构能力与工程审美：真正稀缺的杠杆什么是设计良好的架构？非法状态更难出现局部改动不容易污染全局系统边界清晰，可长期演化AI 生成的局部代码不容易把整体拖偏架构漂移，往往这样发生每一次补丁看起来都合理但抽象层逐渐混乱，语义逐渐失真代码还能跑，系统却越来越难理解、难验证、难重构所谓审美正是持续把系统拉回正确抽象层的能力。当工程量逐渐可以被 token近似量化时，这种能力会成为最强杠杆。MoonBit：用 AI 快速构建可靠软件的基础设施4/15编程语言：需求到软件之间最重要的一层抽象需求规格/API编程语言/源码IR/分析二进制/服务每一层抽象，都是人

4、类理解系统的方式，也是构建系统的起重机。语言这一层最关键，因为它同时被人、AI、编译器、IDE、测试系统 共享。如果语言设计差，后续所有工具都会被迫为它补锅。结论：软件逻辑的载体，就像自然语言之于思想MoonBit：用 AI 快速构建可靠软件的基础设施5/15为什么AI 直接生成二进制不是现实方向假设 AI 已经强到能直接生成高质量二进制。那么同样能力的 AI 借助高级语言+类型系统+编译器+测试+IR，只会更强，不会更弱。因为源码级表示保留了人类意图，也保留了机器可验证的结构。语言不会因为 AI 而消失；语言会因为 AI而变得更重要。高级源码 vs.直接二进制维度高级源码更强在于可读性保留意

5、图、边界与抽象层增量修复可 diff、可 patch、可回滚验证可 跑 测 试、cover-age、静态分析协作IDE、编译器、Agent可共享上下文演化更容易约束架构漂移MoonBit：用 AI 快速构建可靠软件的基础设施6/15MoonBit：不只是编程语言，它是一整个开发平台云/边缘AI-native端到端工具链Language通用编程语言Wasm/JS/Native强调可读、可靠、快速Toolchaincompilermoonbuild systemcloud IDE/moon idemooncakes/MoonBitPilotCurrent Status2023-08-18 发布20

6、25-06-18 宣布Beta2026 即将发布1.0MoonBit 现已处于 Beta 后期，v0.9，v1.0 即将到来MoonBit：用 AI 快速构建可靠软件的基础设施7/15MoonBit 试图重构的，不只是语法而是工作流需求/约束declare/APItests/docsimplementationcheck/coverage/review/foraml verificationspecification-driven workflow先写接口、类型与错误边界用 tests/docs 固定预期行为再让 AI 渐进补全实现为什么这对 AI 时代关键生成目标更明确验证回路更快更容易发现