2026C++及系统软件大会 嘉宾快讯今日嘉宾——雷正宇嘉宾简介雷正宇，MoonBit AI 系统软件工程师，中科院计算所博士，在分布式计算领域以第一作者身份发表论文 3 篇；主导设计与开发 MoonBit 游戏引擎 Selene 和 MoonBit 桌面开发框架 Proton。专注推动 AI 原生基础软件设计和前后端一体化的 MoonBit 应用开发范式，探索 AI 工具和编程语言的结合在软件开发生产提效方面的更多可能性。 【议题】 MoonBit：AI Agent 时代的编程语言 【议题简介】MoonBit 是一门 AI 原生的编程语言。本次演讲将介绍 MoonBit 的核心特性之一——围绕沙箱原生的设计：详细展现 MoonBit 如何运行在沙箱环境，配合统一运行时与异步标准库抹平各平台差异，再通过 moon publish 和 moonx 完成极其便利的分发与运行。同时，MoonBit 的单文件执行模式易于编写复杂脚本，基于沙箱提供安全性，并通过形式化验证保证正确性。基于极快的编译速度和极高的运行性能，MoonBit 非常适合制作 AI Agent 所需的工具和 Skill；配合生态中已实现的通用命令行工具和命令行 EDSL，MoonBit 已打通 Agent 工作的整个链路，Agent 可以借助 MoonBit 高效地完成复杂任务。 【大纲】 1. 概览 MoonBit 基本特性 2. 介绍安全沙箱和 MoonBit 多后端 3. 介绍 MoonBit 单文件执行模式 mbtx 4. 介绍 MoonBit 形式化验证 5. 介绍 MoonBit 当前生态、CLI 工具生态 6. 展示编程智能体 SeekMoon 利用 MoonBit 完成复杂任务 【听众收益】 1. 了解 MoonBit 编程语言和沙箱技术的优势。 2. 了解 AI 时代编程语言核心技术的价值和潜力。 🎟️ 2026 C++及系统软件技术大会 ｜ 11 月 20—21 日 · 北京 ｜官网：网页链接 C加加及系统软件技术大会MoonBit编程语言ai原生AIAgent形式化验证开源