V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
Moonbit
V2EX  ›  编程

MoonBit 月兔平台: AI 时代下的云原生开发平台

  •  
  •   Moonbit · 349 天前 · 923 次点击
    这是一个创建于 349 天前的主题,其中的信息可能已经有所发展或是发生改变。

    在信息社会的演进过程中,我们先后经历了计算机、互联网、移动互联网和云计算等重要阶段。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 演算解释器、二叉堆和配对堆等等。

    点击查看编程实践案例👇

    编程实践| 1 小时学会用 MoonBit 开发马里奥游戏

    编程实践|如何用 MoonBit 实现无类型 Lambda 演算解释器?

    编程实践|如何用 MoonBit 实现二叉堆与配对堆?

    随着 MoonBit 在编程社区中的影响和吸引力不断提高,张宏波在会上表示:

    MoonBit 社区现在吸引到了不同年龄层次的开发者,我们最近采纳了一个高中二年级学生提出的建议。

    在编程教育方面,MoonBit 推出了《现代编程思想》,学生无需安装任何软件,使用 MoonBit 自带的无需安装的云 IDE ,即可学习到更好的现代编程理念。

    04 下一个现象级语言:MoonBit?

    编程语言有两类主要的范畴:现象级语言和商业语言。前者像 C 、Java 、Python 等拥有庞大用户群,而后者规模相对较小,被数以万计人使用。

    宏波作为 Rescript 语言的开发者已经有了了不起的成就。我相信如果给 MoonBit 一点时间和机会,MoonBit 有机会成为更广泛用户范畴的现象级编程语言。

    沈向洋院士在主旨演讲中对 MoonBit 未来发展表示期待。让我们一起拭目以待。

    1 条回复    2023-12-07 20:07:32 +08:00
    tool2d
        1
    tool2d  
       349 天前
    好像几乎大部分主流语言都能编译到 wasm ,这就挺尴尬的。
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   3500 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 23ms · UTC 11:09 · PVG 19:09 · LAX 03:09 · JFK 06:09
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.