4 ms·
Linear types can solve the problem. Also destructors tie design to stack frames. Limiting application for strictly nested code only.
by bvrmn 5y ago
Linear types can solve the problem. Also destructors tie design to stack frames. Limiting application for strictly nested code only.
- masklinn 5y ago> Linear types can solve the problem. While that is true, I did not consider it worth mentioning given the context of the discussion. I still don't. > Also destructors tie design to stack frames. No more so than linear types.