比 Cursor 更快更稳定的 Coding Agent?


                                                                                                                                                <p>搞了 2 年直播,我也是搞出名堂来了。</p> 

张宏波说要来我们这里搞直播,聊一聊 Coding Agent。 

张宏波是谁?

他是编程语言领域的专家,是 OCaml 语言的前核心开发人员,OCaml 编译器获得过 2023 年 ACM SIGPLAN 编程语言软件奖。

此外,他还创造了 编程语言 ReScript,被Meta、谷歌、育碧、TinyMCE 等多个公司商用。

就这成就,已经值得吹一辈子了吧。

但张宏波不一样,他觉得很遗憾。

因为 ReScript 具备相当的技术实力,并且远超一些同行,但是相较于微软的 TypeScript 或者谷歌的 Dart,ReScript 的影响力远没有达到它应有的高度。

他想要打造的,是一款现象级的编程语言

一直以来,张宏波都不甘平庸。就连他当初考到清华大学电气工程及自动化系,都说是因为高考发挥失常才被调剂过去的。他真正想进的,是他一年后成功转入的清华电子系。

所以在 2022 年,张宏波结束了他在 Meta 的 5 年职业生涯,来到了 粤港澳大湾区数字经济研究院(IDEA 研究院组建了基础软件中心,从零开始创立了 MoonBit。

这里插一句,张宏波加入 IDEA 研究院,源于沈向洋(Harry Shum)抛出的橄榄枝。

早年在曾在微软亚洲研究院实习时,沈向洋就是他的导师,并在实习结束后力荐张宏波前往美国继续深造。当然,张宏波之后也踏上了前往美国读博的旅程。

此时,沈向洋已经是粤港澳大湾区数字经济研究院创始人及理事长。张宏波也从当年的学生,成长为独当一面的顶尖专家。

这就不得不感叹,命运的回响如此奇妙。

说回张宏波一手创立的 Moonbit——一个专门为 AI  设计的开源编程语言。

换句话来说,这个编程语言的目的,是让 AI 用起来最得心应手、最不容易出错。

现在,大家都在用 AI Coding 工具来写代码,但不论是 用 Java,还是 Python,亦或是 Rust 等其他主流编程语言,基本上已经定型了,只能在现有基础上“嫁接”AI能力。所以,最终 AI 确实是把代码写出来了,但问题是怎么维护呢?

Moonbit 就不一样。它的语法、类型系统、错误处理机制等,在设计之初就深度考虑了如何让 AI 更容易地理解、生成和验证代码,从而保证了代码的可维护性。

最近,张宏波还带领团队,开发了一个 Coding Agent——Moonbit Pilot。据说比  Cursor 还更快、更稳定!

这是他从底层设计的一整套 AI 原生的开发者工具,包括编程语言的设计、编译器、调试器、包管理等,并在各个环节给予大模型最有效的反馈。

也许你已经发现下了,跟编程语言 MoonBit  一样,也是 AI 原生。

所以,MoonBit Pilot 不仅可以生成所有编程语言的代码,而且针对 MoonBit 编程语言的优势极大。毕竟,还有谁能比自己人更清楚 Moonbit 嘛!

总之,不管是 Moonbit ,还是 Moonbit Pilot,听来都不简单。

现在,张宏波用 Moonbit Pilot 等 AI  工具写 Moonbit。过去一周,他用闲暇时间写了 309 个高质量的 Commits,实现了相当于过去一个优秀程序员一年的工作量。

 

他是怎么做到的?8月29日晚,IDEA 研究院基础软件中心首席科学家、MoonBit团队负责人张宏波,将做客开源中国《技术领航》栏目直播间:

  • 讲解 AI 原生编程语言 —— MoonBit 的底层设计
  • Coding Agent —— MoonBit Pilot 的最新进展
  • 实操演示:MoonBit Pilot 零干预辅助完成软件库
  • 大规模代码重构关键:原生语义查找+分段编码
  • Q&A 环节 (15min)
我们还会在直播间,随机抽取 5 名直播间评论区互动的幸运用户,赠送网页版 moonbit pilot 权限哦~
 
微信扫码,预约直播:
 
未经允许不得转载:紫竹林-程序员中文网 » 比 Cursor 更快更稳定的 Coding Agent?

评论 抢沙发

  • 昵称 (必填)
  • 邮箱 (必填)
  • 网址
关于我们 免责申明 意见反馈 隐私政策
程序员中文网:公益在线网站,帮助学习者快速成长!
关注微信 技术交流
推荐文章
每天精选资源文章推送
推荐文章
随时随地碎片化学习
推荐文章
发现有趣的