「AI时代下的基础软件」 10 月 25 日(周六),欢迎来到深圳 MoonBit 技术沙龙,一起探讨AI 时代的基础软件新范式与编程语言的未来。 活动时间:10月25日 (周六)14:00 - 17:00 活动地点:深圳市福田区保税区市花路5号长富金茂大厦1号楼二层多功能厅
报名链接:hdxu.cn/1z5w9

议程详情
一、MoonBit 发展 & 展望
张宏波 粤港澳大湾区数字经济研究院基础软件中心首席科学家,MoonBit 团队负责人 整体回顾MoonBit 3年来的发展历程,介绍其在编译器技术、生态建设、以及AI相关领域中的最新进展,并展望MoonBit如何成为下一代智能软件基础设施的关键一环。
二、Maria:用 MoonBit 写个 Code Agent
费浩祥 MoonBit核心开发工程师
Maria 是用 MoonBit 从 0 开发的 Code Agent 。Maria 使用 MoonBit 构建,为 Code Agent 的可靠运行提供了坚实的基础,并以 SDK 的方式向外提供接口,方便外部开发者以 Code Agent 为基础进行二次开发,并集成到具体的工作流中。
- 如何使用 Maria: Maria 提供了启动 Maria agent和监听事件的能力,用户可以基于事件系统定制渲染、日志以及自动化任务等功能。Maria 也支持自定义工具、添加会话来实现更加复杂或者灵活的需求。
- 如何进行工具设计: 工具是扩展 LLM 能力的重要手段。
- 工具提供的 JSON schema 应该尽量扁平、简单。复杂的 JSON schema 通常会导致 tool call 失败。
- 工具应该是 future proof 的。固定工作流的工具可能在当下很好用,能解决问题,但是随着模型能力的提升,可以完全通过模型自身的能力替代。
- 工具的状态和输出都应该是临时的:让 LLM 自己重建对项目的理解。
三、MoonBit Pilot 以及AI工具的一些使用技巧
刘子悦 MoonBit核心开发工程师
本次将与大家分享一些如何让AI(包括Moon pilot或者cursor等工具)写出更好的MoonBit代码的一些技巧,主要包括以下三个方面:
- 扁平化面向对象的设计,MoonBit本身有非常良好的pattern match语法和AI工具链,使用更加扁平化的类设计可以更好的让AI看懂代码,写出更好的代码。
- 善用pattern match,而并非不安全的数组索引,或者unwrap。pattern match的语法有助于AI快速地写出正确的代码。
- API设计,文档和测试的写法和技巧。好的文档与测试会极大地帮助AI定位Bug,写出更好的代码。
四、AI 与 MoonBit 如何提高我们的生产力
鲍志远 MoonBit核心开发工程师
随着大模型能力的提升,AI已经越来越多地参与到我们的日常开发中,并且正在切实地提升我们的生产力。本次将与大家分享:
- 我在日常开发中觉得AI很好用的场景
- MoonBit工具链为了提升大模型生成MoonBit代码的能力而做的工作
五、MoonBit 异步编程系统介绍
刘请 MoonBit核心开发工程师
近期,MoonBit 发布了异步编程运行时 moonbitlang/async,有了较完整的异步编程支持。moonbitlang/async 的开发者将分享:
- MoonBit 异步编程系统的整体设计和现状
- moonbitlang/async 中的结构化并发设计
- MoonBit 的异步编程系统的未来规划
六、MoonBit 自举 parser & formatter 进展和应用
陈玉斌 MoonBit核心开发工程师
本次分享将与大家介绍 MoonBit 自举解析器和格式化器的进展,并演示如何使用这些库编写有用的代码处理工具。主要包含以下方面:
- moonbitlang/parser 模块的实现 包括如何使用moonyacc、实现性特性lexmatch、Guard语句与is表达式、snapshot test等工具和特性,来完成词法解析、语法解析、错误恢复的功能,简化自举的工作。
- moonbitlang/formatter 模块 自举格式化器的设计思路和当前进展。
- moonlint 代码检查工具 如何利用 moonbitlang/parser 开发基于语法的代码检查工具。
- 代码生成工具开发 如何结合 moonbitlang/parser 和 moonbitlang/formatter 实现自定义 deriving、FFI 包装生成等实用的代码生成工具。