倒计时 2 天|Meetup 议题已公开,Copilot 月卡等你来拿!

「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 为基础进行二次开发,并集成到具体的工作流中。

  1. 如何使用 Maria: Maria 提供了启动 Maria agent和监听事件的能力,用户可以基于事件系统定制渲染、日志以及自动化任务等功能。Maria 也支持自定义工具、添加会话来实现更加复杂或者灵活的需求。
  2. 如何进行工具设计: 工具是扩展 LLM 能力的重要手段。
  • 工具提供的 JSON schema 应该尽量扁平、简单。复杂的 JSON schema 通常会导致 tool call 失败。
  • 工具应该是 future proof 的。固定工作流的工具可能在当下很好用,能解决问题,但是随着模型能力的提升,可以完全通过模型自身的能力替代。
  • 工具的状态和输出都应该是临时的:让 LLM 自己重建对项目的理解。

三、MoonBit Pilot 以及AI工具的一些使用技巧

刘子悦 MoonBit核心开发工程师

本次将与大家分享一些如何让AI(包括Moon pilot或者cursor等工具)写出更好的MoonBit代码的一些技巧,主要包括以下三个方面:

  1. 扁平化面向对象的设计,MoonBit本身有非常良好的pattern match语法和AI工具链,使用更加扁平化的类设计可以更好的让AI看懂代码,写出更好的代码。
  2. 善用pattern match,而并非不安全的数组索引,或者unwrap。pattern match的语法有助于AI快速地写出正确的代码。
  3. API设计,文档和测试的写法和技巧。好的文档与测试会极大地帮助AI定位Bug,写出更好的代码。

四、AI 与 MoonBit 如何提高我们的生产力

鲍志远 MoonBit核心开发工程师

随着大模型能力的提升,AI已经越来越多地参与到我们的日常开发中,并且正在切实地提升我们的生产力。本次将与大家分享:

  1. 我在日常开发中觉得AI很好用的场景
  2. MoonBit工具链为了提升大模型生成MoonBit代码的能力而做的工作

五、MoonBit 异步编程系统介绍

刘请 MoonBit核心开发工程师

近期,MoonBit 发布了异步编程运行时 moonbitlang/async,有了较完整的异步编程支持。moonbitlang/async 的开发者将分享:

  1. MoonBit 异步编程系统的整体设计和现状
  2. moonbitlang/async 中的结构化并发设计
  3. MoonBit 的异步编程系统的未来规划

六、MoonBit 自举 parser & formatter 进展和应用

陈玉斌 MoonBit核心开发工程师

本次分享将与大家介绍 MoonBit 自举解析器和格式化器的进展,并演示如何使用这些库编写有用的代码处理工具。主要包含以下方面:

  1. moonbitlang/parser 模块的实现 包括如何使用moonyacc、实现性特性lexmatch、Guard语句与is表达式、snapshot test等工具和特性,来完成词法解析、语法解析、错误恢复的功能,简化自举的工作。
  2. moonbitlang/formatter 模块 自举格式化器的设计思路和当前进展。
  3. moonlint 代码检查工具 如何利用 moonbitlang/parser 开发基于语法的代码检查工具。
  4. 代码生成工具开发 如何结合 moonbitlang/parser 和 moonbitlang/formatter 实现自定义 deriving、FFI 包装生成等实用的代码生成工具。
相关推荐
IGAn CTOU38 分钟前
王炸级更新!Spring Boot 3.4 正式发布,新特性真香!
java·spring boot·后端
猫猫不是喵喵.39 分钟前
layui表单项次大数据量导入并提交
前端·javascript·layui
张小潇41 分钟前
AOSP15 WMS/AMS系统开发 - 窗口层级源码分析
android·前端
柯西劝我别收敛44 分钟前
Koordinator-Scheduler 调度器源码解析
后端·云原生
tycooncool1 小时前
Spring中的IOC详解
java·后端·spring
whuhewei1 小时前
HTTP1/2/3演变
前端·计算机网络
腹黑天蝎座1 小时前
从零实现一个前端监控系统:性能、错误与用户行为全方位监控
前端·监控
303781 小时前
消息推送削峰落地方案
后端
爱敲代码的小黄1 小时前
我重新梳理了一遍 RAG,终于明白它不只是接个向量库
后端·面试·agent
Hooray2 小时前
为了在 Vue 项目里用上想要的 React 组件,我写了这个 skill
前端·ai编程