How Dada Enables Internal References
3 months ago
- #rust
- #borrow-checker
- #programming-languages
- Dada的权限系统灵感来自Rust的借用检查器，但试图通过基于位置的权限来超越其能力。
- Dada允许通过命名数据借用来源的位置来创建引用，使得`ref[list] String`等类型更直观。
- 与Rust不同，Dada的引用不是指针而是浅拷贝，允许移动借用数据而不会失效。
- Dada的类型系统在原始数据移动时会更新引用，从而实现强更新和灵活的借用。
- Dada可以将借用的数据与其所有者打包在结构体中，这是Rust因其基于指针的引用而难以实现的。
- Dada对引用和权限的处理方法可能适用于Rust，特别是堆分配数据场景。