3 ms·
> Languages like Ada provide hooks, for the runtime and compiler to collaborate together, because safety is more relavant than performance at all expenses. Doe
by msla 5y ago
> Languages like Ada provide hooks, for the runtime and compiler to collaborate together, because safety is more relavant than performance at all expenses.
Does Ada come with optional garbage collection, at least? Memory leaks are a big safety concern, perhaps the biggest in practical code, and IIRC Ada still doesn't have GC "by default" for some unimaginable reason.
- seabird 5y agoThe unimaginable reason is that one of Ada's core competencies is realtime embedded systems. Very often, these don't allocate or free memory ever.
- erik_seaberg 5y agoDon’t a lot of those systems allocate and free slots in large arrays, which is almost as risky?
- seabird 5y agoAda arrays are actual types, they're bounds-checked, the language provides some niceties for indexing, and Ravenscar and SPARK are available. You're going to have less issues with Ada in that case than you are with just about any other language out there.
- pjmlp 5y agoAda 83 had one, however production deployment scenarios never required one so Ada 2005 dropped it, and nowadays thanks to SPARK and controlled types is not required anyway. Additionally Ada controls many types directly like strings and vectors, and storage pools. I recommend the FOSDEM talk about Ada memory management.