MoonBit月兔平台:AI时代下的云原生开发平台
在信息社会的演进过程中,我们先后经历了计算机、互联网、移动互联网和云计算等重要阶段。ChatGPT、Meta Llama2等大模型的出现标志着我们已迈入人工智能时代。随着越来越多的大模型在千行百业中落地应用,作为 AI 大模型的“底座”,开发者工具基础设施承载着顶层大模型的建设,也是大模型应用落地的关键。在大模型时代下,AI开发者工具应该具有何种形态?11月22日,AI与数字经济领域一年一度的科创
在信息社会的演进过程中,我们先后经历了计算机、互联网、移动互联网和云计算等重要阶段。ChatGPT、Meta Llama2等大模型的出现标志着我们已迈入人工智能时代。随着越来越多的大模型在千行百业中落地应用,作为 AI 大模型的“底座”,开发者工具基础设施承载着顶层大模型的建设,也是大模型应用落地的关键。在大模型时代下,AI开发者工具应该具有何种形态?
11月22日,AI与数字经济领域一年一度的科创盛会——2023 IDEA大会在深圳举行。IDEA研究院基础软件中心首席科学家、MoonBit月兔平台负责人张宏波,率领团队在沈向洋院士主持的主旨演讲中,分享与演示了MoonBit月兔平台的最新成果。
01 懂语言者得天下。
编程语言作为系统软件的“掌上明珠”,不仅定义了开发者编写软件的方式,也直接影响着软件的性能、可靠性和扩展性。科研工作中,编程语言一直是科研工作者需要去专注的领域。
我一直想用的一句话叫「懂语言者得天下」,这句话来鼓励大家;从事任何科研工作时,不妨以语言为着眼点思考。
编程语言实际上是整个计算机发展里面非常基础和重要的一个领域,但在实际情况下,国内在这方面做的工作还是相对匮乏。
我非常的幸运有一个学生叫张宏波,他是我认识的唯一一个中国学者自己主导开发了有上万人使用的通用程序语言ReScript,而且它有非常大的社区,有开发者大会,有很多的知名企业都在(使)用。当时我跟宏波联系,说不如你过来IDEA研究院,我们一起在这个编程语言方面再做点更了不起的工作。他说他也一直在思考,想抓住这个新的行业机会,重新写一个通用语言。
于是,基础软件中心首席科学家张宏波便开始了新的探索,他带领团队结合以往从事 ReScript、OCaml、Flow 研发的实际经验以及在软件工程领域上近十年来的沉淀,致力于专为云+AI打造一整套全栈工具链平台MoonBit。
02 大模型时代需要什么样的编程语言?
回顾历史上备受欢迎的编程语言,不难发现它们始终紧密契合着当时的技术发展与需求。从大型机时代的Fortran,到个人计算机时代的C语言,再到互联网时代的Java和Python,每种语言都因适应当时的技术趋势而受到推崇。在智能云和边缘智能蓬勃发展的今天,未来的趋势将不可避免地过渡到云+AI。
云计算作为大模型的最佳算力底座,目前正在经历第三次变革。WebAssembly 依靠轻量、高效、安全等特性已成为实现云计算、边缘计算的首要解决方案。从目前来看,现有的Wasm供给端(比如C++和Rust)作为底层开发语言,并不是程序员理想的开发环境。
MoonBit通过专注Wasm形成后发优势,目前在核心指标(编译速度、运行速度、体积大小)已成功领先传统语言。
MoonBit作为一个AI时代下全新的开发平台,从一开始的顶层设计就考虑如何将传统IDE智能和大模型智能融合在一起。利用传统IDE智能修正大模型智能,MoonBit通过局部重采样和全局重采样实现了智能代码生成的调整和修正。
局部重采样利用AI生成的代码进行实时调整,确保代码符合语法规范,而全局重采样进一步验证代码的语义正确性。这种方法基于深度领域知识,为开发者提供了更可靠、更准确的代码生成体验,减少了后续调试和错误修复的需要。MoonBit团队还特意开发了基于token的实时语义分析工具,确保大模型输出更为准确。
MoonBit不仅提供通用程序语言,还垂直整合编译器、构建系统、编辑器和语言服务器、部署工具等。此外,MoonBit调试器(Debugger)功能已上线。
一般一门语言要到相对成熟的阶段才会有调试器,我们从一开始就考虑,如何让调试器设计得更加简单。
03借助早期用户的案例与反馈不断完善
MoonBit在发布之后就受到了不少用户关注。
大概在三个月前,我们在社交媒体上小范围地给大家介绍了一下 MoonBit 开发者平台。出乎我们意料的是,我们官宣了以后,大概五个小时就登上了 Hacker News 的头版头条。
除此之外,JavaScript联合主席Rob Palmer在Twitter上发表了对MoonBit的认可。在国内同样吸引了一波粉丝,前奥林匹克信息竞赛国家队教练刘汝佳高度评价了 MoonBit 编程语言,同时亲自花了几周的时间写了一个大型的MoonBit的程序——任天堂模拟器,可以加载几十种经典游戏。
此外,MoonBit还推出了一系列编程实践案列,包括如何开发马里奥游戏、如何实现无类型lambda演算解释器、二叉堆和配对堆等等。
点击查看编程实践案例👇
编程实践|如何用MoonBit实现无类型Lambda演算解释器?
随着MoonBit在编程社区中的影响和吸引力不断提高,张宏波在会上表示:
MoonBit社区现在吸引到了不同年龄层次的开发者,我们最近采纳了一个高中二年级学生提出的建议。
在编程教育方面,MoonBit推出了《现代编程思想》,学生无需安装任何软件,使用MoonBit自带的无需安装的云IDE,即可学习到更好的现代编程理念。
04下一个现象级语言:MoonBit?
编程语言有两类主要的范畴:现象级语言和商业语言。前者像C、Java、Python等拥有庞大用户群,而后者规模相对较小,被数以万计人使用。
宏波作为Rescript语言的开发者已经有了了不起的成就。我相信如果给MoonBit一点时间和机会,MoonBit有机会成为更广泛用户范畴的现象级编程语言。
沈向洋院士在主旨演讲中对MoonBit未来发展表示期待。让我们一起拭目以待。
更多推荐
所有评论(0)