最近日本知名开发者社区 Zenn 上一个由深圳团队研发的编程语言 MoonBit 爆火,起因是一名日本程序员 @mizchi 在 zenn.dev 发表文章《MoonBit が WebAssembly 時代の理想(の原型)だった》(《MoonBit 是 WebAssembly 时代的最佳编程语言》随后该文章迅速收获众多点赞与关注,并且当天登上了Zenn tech trending(热榜)。
同时,也引发了 X(twitter) 上日本程序员圈子的广泛关注,该文章的原文转发帖子短短几个小时便收获了近百次转发和几百个点赞,并收获了近百个正面评价。
Twitter 上的评价
@matte:在使用MoonBit时感受到了类似Rust的体验,同时还有GC支持。
@maguro:如果Go语言的语法能像MoonBit那样,他会觉得编写起来更加容易,因为MoonBit具有求和类型、模式匹配和默认不可变等特性。
来自大阪的工程师 @kmizu:MoonBit在语法上进行了改进,例如不需要用逗号分隔结构体成员,也不需要分号来列出表达式,这些都使得MoonBit的语法更为简洁。
@ちまめ@rito:"当我看到一种有趣的语言被引入时,我正在考虑用 Rust 编写 Wasm 并将其放在 Cloudflare Workers 上。我想这离实用还有很长的路要走,但我会记住的。/MoonBit 是 WebAssembly 时代的理想型
我的思考
看了这个日本社区的帖子我也去了解了下这门 MoonBit 编程语言,上面 twitter 里的对它评价确实很中肯,虽然目前这门语言还没有完全定型,但整体的「手感」还是很不错的。
还了解到这门编程语言的定位是工业级编程语言及其配套工具链,目前适配 WebAssembly,在核心技术层面上有一定创新,包括基于开源 Rust n2 高度定制的构建系统、自主研发的编译器和静态分析工具。在 AI 领域采用了开源的 llama.cpp。
并且最近比较热门的 AI 代码生成中有关AI幻觉的问题 ,MoonBit 也提出了一个不错的解决方案,通过采用了对形式化验证友好的函数式循环,并计划引入内置测试功能。通过对代码进行重采样和实时静态分析,实现对大模型幻觉的矫正。我测试了一下效果还不错,希望它可以马上支持JavaScript、JVM 和 Native 等多个后端。
我作为一个长期关注编程语言领域的开发者,感觉虽然编程语言领域虽然竞争异常激烈,各个巨头把持着各自的「绝对领域」,但像MoonBit 这种具有后发优势的编程语言依然有广阔空间!