Re:Ada's Dependent Types, and Its Types as a Whole
by nmilo on Saturday December 28, 2024 @05:30PM
(#42535395)
You can just pop the second stack at each function return, though that does limit its use to only really scratch-space for dynamically sized objects. Like this: https://nullprogram.com/blog/2023/09/27/. “Arenas” are passed by value so their end pointer will auto reset when the function returns.
[ Parent
| on HN ]
There are no comments on this comment yet.