演讲主题

MoonBit：AI Agent时代的编程语言

MoonBit是一门AI原生的编程语言。本次演讲将会介绍MoonBit的核心特性之一——围绕沙箱原生的设计。演讲将详细展现MoonBit如何运行在沙箱环境，配合统一运行时与异步标准库抹平各平台差异，再通过moon publish和moonx完成极其便利的分发与运行。同时，MoonBit的单文件执行模式易于编写复杂的脚本，基于沙箱提供安全性，并通过形式化验证保证正确性。基于上述技术、极快的编译速度和极高的运行性能，MoonBit非常适合制作AI Agent所需的工具和Skill。配合MoonBit生态中已经实现的通用命令行工具和命令行EDSL，MoonBit已经打通了Agent工作的整个链路，Agent可以借助MoonBit高效地完成复杂任务。 大纲： 1. 概览MoonBit基本特性； 2. 介绍安全沙箱和MoonBit多后端； 3. 介绍MoonBit单文件执行模式mbtx 4. 介绍MoonBit形式化验证 5. 介绍MoonBit当前生态、CLI工具生态 6. 展示编程智能体SeekMoon利用MoonBit完成复杂任务 听众收益： 1. 了解MoonBit编程语言和沙箱技术的优势。 2. 了解AI时代编程语言核心技术的价值和潜力。