编程语言

看懂Rust的dyn Trait：动态分派有成本，但不等于每次都要堆分配

开发者 Sofia Belen 的内存可视化文章，用实验展示了 Rust 的 trait object 如何关联数据与方法实现。它适合作为理解动态分派的入口，但不是 Rust 发布了新特性，也不能把实验中看到的地址和字节排列直接当成语言长期保证。

11 行代码不是重点，Prela 想把 SQL 查询重新变成关系组合

UCLA RePL 正在开发的 Prela，是一种以二元关系为核心的查询语言。教程用 Python 展示了如何把“演员出演电影”“电影属于国家”等关系组合起来，再通过约束和投影得到结果；一个示例用约 11 行 Prela 表达出传统 SQL 需要更多连接与子查询才能描述的逻辑。

Mojo 1.0 给出稳定承诺：版本号到了，编译器仍未完全开源

作者：林岚｜OC 开发者生态编辑

一门 200KB 系统语言让 Claude 重写 GC：828 次崩溃变成 2 万次稳定请求

作者：林岚