safe-memory

标签

#safe-memory

安全变得简单第1部分：单一所有权（并非）可选

Lobsters Hottest ↗ · 2026-06-03 缓存

本文介绍了一种基于线性类型和抽象解释的内存安全新方法，旨在比Rust更符合人机工程学原理地消除诸如释放后使用和内存泄漏等常见错误。

0 人收藏 0 人点赞

← 返回首页

提交意见反馈