The With 语言演示安全封装 sqlite3，宣称 Rust 和 Zig 做不到
QuixiAI · x · 2026-10-05
QuixiAI 展示了 The With 编程语言对 C 库 sqlite3 的封装方式：用 resource 将裸指针 sqlite3 声明为受管理的资源——from sqlite3open 负责创建，drop sqlite3close 负责释放，ok SQLITEOK 处理错误返回。
由此得到的 sqlite3 是一个「owned」值：作者宣称每条路径上都会正确关闭、错误以 Result 返回、全程零 unsafe，并点名挑战「用 Rust 和 Zig 试试做到这个」。
所属事件:QuixiAI 发布系统编程语言 With 兼顾安全与零胶水调用(2 条相关)→
「编程与Agent」频道最新
- 人机协作刷新 11 方块装箱下界至 3.875,逼近 23 年未解难题 — ctjlewis · 2026-10-05
- 引用转发的同人讨论,与上一条为同一事件,保留但以原帖为准 — ctjlewis · 2026-10-05
- Mobilerun AndroidWorld满分116/116，超谷歌Artemis — SimplyAnnisa · 2026-10-05
- Gemini Robotics-ER 2 写任务计划：双臂 FR3 协作搬运实测 — Stefania_druga · 2026-10-05
- 模型越聪明流程越多余？Dimillian 反思该回到单线程提示框了 — Dimillian · 2026-10-05
- 3D打印+ESP32+Astra，网友给孩子做了一台AI答录机 — Stefania_druga · 2026-10-05