3 ms·
To provide stronger types in some cases? To opt into in performance-sensitive programs? To see if it can be made less burdensome if different tradeoffs are made
by Rusky 9y ago
To provide stronger types in some cases? To opt into in performance-sensitive programs? To see if it can be made less burdensome if different tradeoffs are made?
- abiox 9y agowhat do you mean by "stronger types"?
- testestx 9y agoAffine 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.