moonbit

双周报Vol.65:新增is表达式、字符串构造和数组模式匹配增强、IDE模式匹配补全增强...多项技术更新！e1 && e2 中当 e1 是个 is 表达式的时候，其中通过 pattern 引入的 binder 可以在 e2 中使用

MoonBit 核心编译器正式开源！由 IDEA研究院基础软件中心打造的 MoonBit （月兔）AI 原生开发平台，今日宣布正式开源其核心的编译器 WebAssembly（简称“Wasm”）后端。开发者现在可以利用 MoonBit 的能力做性能优化，且直接参与 MoonBit 的技术迭代和生态创新。

GitHub 正式收录 MoonBit 作为一门通用编程语言！核心用户突破三万！MoonBit 编程语言正式被 Github 收录！这对于一个仅有两年发展时间的编程语言来说是一种高度认可，期待未来由 MoonBit 编写的项目数量快速增长，早日成为首个由国人研发迈进 10 万➕ 用户的编程语言。

AI Coding，亦或 AI for Coding？基础软件行业的变革之所以显著，是因为它紧随人机交互方式的演进。人工智能技术的发展不仅推动了编程语言的技术进步，而且由于编程语言是人与机器沟通的桥梁，人机关系的变化，也在直接驱动编程语言的变革。

大小仅为Rust四分之一！MoonBit 现已支持Wasm组件模型WebAssembly（Wasm）是一种新的低级虚拟指令集标准（low-level virtual instruction set standard），用于沙箱模型。低级的，意味着它接近原生速度。虚拟的，意味着它可以在包括浏览器和操作系统在内的多个运行时（runtime）上运行，例如wasmtime或wamr。它是沙箱模型，这意味着它不能与外界交互，除非使用FFI。不过FFI只能返回数字，因此通过线性内存进行数据传输是更有效的方法。许多编程语言都可以编译成Wasm，包括Java、JavaScript/Ty

深入探索如何在 MoonBit 中实现 Haskell 求值语义（三）本期文章为在MoonBit中实现惰性求值的第三篇。在上一篇中，我们了解了let表达式的编译方法以及如何实现基本的算术比较操作。这一篇文章中，我们将实现一种基于上下文的优化方法，并添加对数据结构的支持。

MoonBit 本周新增类型标注语法、继续进行核心库 API 整理工作相当于旧的Option[T]仍然兼容，但是推荐使用更简短的新语法。moonfmt也会将Option[T]格式化为T?。

如何用 MoonBit 实现 diff?你使用过 Unix 下的小工具 diff 吗？没有也没关系，简而言之，它是一个比对两个文本文件之间有什么不同之处的工具。它的作用不止于此，Unix 下还有一个叫 patch 的小工具。

MoonBit MeetUp回顾——张正、宗喆：编程语言在云原生与区块链领域的技术探索宗喆和张正分别给我们带了 KCL 相关的最新进展，由蚂蚁集团开发的 Rust 编写的开源 DSL，目标是优化云原生策略配置和用户体验。它通过引入动态配置管理、配置校验和基础设施抽象等核心概念，解决开发者认知负担、配置膨胀和标准化工具缺乏的问题。自2022年6月开源后，KCL 于2023年成为 CNCF 托管的 Sandbox 项目。

MoonBit 新增 += 运算符，引入 super trait 和 List 字面量机制包括+=、-=、*=、/=，支持运算符重载：如下图所示：Super-trait 通过如下的语法指定：可以通过 + 来指定多个 Super-trait，表示该 sub-trait 依赖这几个 super-trait：

Sora横空出世！AI将如何撬动未来？近日，OpenAI 发布首个视频生成“Sora”模型，该模型通过接收文字指令，即可生成60秒的短视频。