3 ms·
Liveness analysis is honestly pretty simple so I'm glad it's being introduced as a rule for determining lifetimes. I would be afraid of introducing rules that m
by webkike 9y ago
Liveness analysis is honestly pretty simple so I'm glad it's being introduced as a rule for determining lifetimes. I would be afraid of introducing rules that make for complicated specs, and this is almost one of these areas. However, it's fairly easy to describe liveness analysis with set theory so I think it works.
- sanxiyn 9y agoWell, analysis is simple, but it does make inference algorithm considerably more complex. (Analysis generates constraints, inference solves them.)