MoonBit MeetUp回顾——张宏波:希望 MoonBit 可以成为世界级的编程语言以及配套的工具链

3月23日的MoonBitMeetUp聚焦国产基础软件新发展,专家们讨论了技术创新、市场趋势和编程语言,如张宏波分享的ReScript和MoonBit对WebAssembly的应用。未来,MoonBit计划支持更多平台并强调生态系统的建设,包括AI交互和Serverless环境的潜力。
摘要由CSDN通过智能技术生成

首场线下 MeetUp 精彩回顾来啦!

3月23日,MoonBit 的首场线下 MeetUp 如期而至,带来了一场关于国产软件新发展的探讨。这场活动汇集了五位行业内的知名专家,他们围绕国产基础软件的新发展,分享了四个充满洞见的主题。从技术创新到市场趋势到个人经历的分享,每一位嘉宾都带来了自己的故事和行业里的最新动态。

文末还有详细的回答环节。来吧,让我们一起往下看,看看这场 MeetUp 带给我们什么新鲜事儿!

张宏波首先介绍了本人的编程语言开发经历,从本科开始至今,他关注并投入函数式编程语言开发已有十几年了,曾担任 OCaml 的核心开发人员,主导创造 ReScript(前 BuckleScript )。

ReScript现在已经可以完全由社区来打理,进展活跃,这是一件值得终身自豪的事情。

我们在疫情前在维也纳召开过两次几百人的全球开发者大会,在美国也召开过一次,然后在南美,甚至还有 ReScript 的一些商业培训课程,我们有自己的书籍。

之后,收到 IDEA 研究院院长沈向洋的邀请,张宏波回到了深圳,成立了基础软件研究中心,并组建了 MoonBit 团队——一个国内独一无二,拥有丰富编程语言开发经验的团队。

我们想正儿八经做一些真正有人用的系统,而不是单纯地追求学术发表,这是我们最大的不一样。我们团队也非常年轻,是很聪明的一个团队。讲这些是给大家信心,MoonBit 是一个非常靠谱的事情。

在立项开始,MoonBit 便瞄准了 WebAssembly 这一新的标准指令集。张宏波解释道:

“作为一门编程语言要去让别人用,其实是很难的事情,我为什么不用一些已经非常成熟的 Java、 go 语言?WebAssembly,它是微软、谷歌在 17 年成立了一个新的跨平台、跨操作性的一个标准指令集。MoonBit 一开始就考虑如何适配 WebAssembly,可能会对一些已有的编程语言有一个降维打击的优势,对 WebAssembly 这个平台也感兴趣的话, MoonBit 希望成为你的 go to language。”

随着团队的成长,MoonBit 也不止步于一门编程语言,而是一个配备了自动调试功能和具有客户端 IDE 的编译平台。除了 WebAssembly 后端外,今年的发展计划还包括支持 JavaScript、JVM 和 Native 等多个后端。

在现场演示中,张宏波通过更改马里奥游戏代码逻辑,向大家展示了 MoonBit 实时 IDE 的编程效果。

对于MoonBit来说,生态系统的构建同样重要。

在今年年初,我们发布了 mooncakes.io 包管理系统,并在几周前开源了 MoonBit 标准库,收到了高质量的贡献。接下来,我们计划逐步开放构建系统和编译器,目标是明年发布兼容性保证的1.0版本。

在全民 AI 的热潮下,张宏波坦言,对于一向不追逐热点的编程语言工程师而言,这是一次几十年难遇的机会。然而,要在 AI 代码生成这一领域取得真正的突破,关键在于拥有一个深刻理解并能精确掌控代码及工具链的团队。MoonBit 在核心技术层面上的创新,包括基于开源 Rust n2 高度定制的构建系统、团队百分之百自主研发的编译器和静态分析工具。在 AI 领域,MoonBit 采用了开源的 llama.cpp,并正在探索使用 MoonBit 语言开发全 AI 交互的 IDE 功能。

然而,AI 代码生成技术在给人们带来震撼的同时,也暴露出了一些亟待解决的挑战,如安全性风险、幻觉问题以及需要创建更自然的 AI 与人的交互方式。为了解决安全性问题,MoonBit 通过采用安全的类型系统、Wasm 安全沙箱机制、死代码删除技术实现了快速静态分析能力,为代码提供了三重安全保障。

在幻觉问题上,MoonBit 采用了对形式化验证友好的函数式循环,并计划引入内置测试功能。通过对代码进行重采样和实时静态分析,实现对大模型幻觉的矫正。

在原生的 AI 人机交互方面,张宏波透露团队正在尝试使用 MoonBit 来写一个 AI 原生的IDE。

关于未来,张宏波表示:我们发自内心地希望 MoonBit 在未来可以成为世界级的编程语言以及配套的工具链。

Q&A

MoonBit 也能在 JVM 中运行吗?

MoonBit 计划支持 Wasm、JS、JVM 及 Native 平台。目前,已完成 Wasm 和 JS 平台的支持。我们计划于本年度 Q3 正式启动 JVM 与 Native 平台的支持工作。我们期待在年底前实现对这些多后端平台的全面支持。

想知道 MoonBit 支持 autodiff 么?

这个目前不支持,目前我们应该不会把 autodiff 作为语言特性,如果实现的话也应该是通过库的方式实现。

前端开发的话,有指引吗?

在未来的更新中,我们将引入对多后端技术的支持。随着社区生态的丰富,我们后续会根据大家的呼声给出具体的指引与文档。如果大家目前在前端开发中遇到任何问题,可以在论坛提问或者 GitHub 上提交 pr,我们会有专人进行解答。

如何看待这个观点【随着 AI 发展应用层编程语言将消失,只剩 “自然语言”】

未来编程语言背后的技术还是会存在。编程语言的生命周期很长,例如 Java 已存在几十年且预计将继续保持重要性,而像 Perl 这样的语言,尽管使用率下降,但由于其庞大社区和市场份额,衰退将很缓慢。大模型技术会促使不同编程语言逻辑表达越来越相似,未来的编程语言界限可能变得模糊而不是消失。

miniblink 适合 serverless 吗?能否解决其冷启动问题?

Miniblink 由于其轻量和快速启动的特性,理论上适合用于 Serverless 环境,可能有助于缓解冷启动问题。然而,实际效果取决于多种因素,包括应用场景、资源配置和优化措施。因此,在考虑将 Miniblink 集成到 Serverless 应用中时,建议进行充分的测试和评估。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值