Domen Kožar 提出构建 Rust 到 Fil-C 的 FFI 桥接方案，Fil-C 是通过能力系统、运行时检查和并发 GC 提供内存安全的 C/C++ 编译器。该方案旨在生成安全的 Rust 包装层并编译整个 C 依赖图。filnix 已将 Fil-C 打包为 Nix 交叉编译平台，并拥有 100 多个 nixpkgs 端口。
背景
Fil-C 是一个研究性编译器项目，通过运行时边界检查和并发 GC 为 C/C++ 代码添加内存安全保障。filnix 为 Fil-C 提供 Nix 包管理支持，使其成为可复现构建的平台。
- 来源
- Lobsters
- 发布时间
- 2026年8月14日 01:43
- 评分
- 5.0 / 10