Re: Adacore joins with Ferrous Systems to support Rust

["Björn Lundin" <b.f.lundin@gmail.com>]

Den 2022-02-03 kl. 05:22, skrev Paul Rubin:

> Particularly, a lot of effort in Ada programming goes into making
> programs never crash.  For example, if the program runs out of memory
> during operation it might crash, so Ada programs are often written to
> never allocate new memory after a startup phase.  In C++ or Rust, it's
> important not to get wrong answers like 2+2=5, but if your program runs
> out of memory and crashes, go get a bigger computer.  So idiomatic C++
> and Rust programming uses dynamic allocation freely, and that makes some
> kinds of programming more convenient, at the expense of tolerating
> possible crashes.


That depends on the domain. Perhaps it is true in embedded.
I use Ada for large systems, talking to databases,
and lots of administrative work. On a win/Unix server.
We would not dream of pre-allocate memory at startup.
We allocate and dispose as needed.

-- 
Björn