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