|
|
|
|
|
|
by testestx
3016 days ago
|
|
|
Affine and linear types and variants (ownership types, uniqueness types) can model predictable release of resources, like a compiler-enforced C++'s RAII. As another commenter put, > The paper explains it's because they want deterministic destructors for things like file handles. |
|
|