Comment Comment by pjmlp > What little I know of Ada indicates that it doesn't actually solve the problem because it doesn't have safe dynamic memory allocation.It does, just not the way most are used to it.Surely if one wants to code like malloc()/free(), free() is unsafe in Ada and requires the Ada version of unsafe {}However many type constructions in Ada do dynamic allocation by themselves, including on the stack.If memory allocation fails, an exception is thrown and a retry with less memory requirements is a possible execution path.Ada also has RAII since Ada95 (controlled types), and yes SPARK formal specification now allows for ownership rules. parent pjmlp 5 years ago
It does, just not the way most are used to it.
Surely if one wants to code like malloc()/free(), free() is unsafe in Ada and requires the Ada version of unsafe {}
However many type constructions in Ada do dynamic allocation by themselves, including on the stack.
If memory allocation fails, an exception is thrown and a retry with less memory requirements is a possible execution path.
Ada also has RAII since Ada95 (controlled types), and yes SPARK formal specification now allows for ownership rules.