Re: More reliable compilers (of some programming langauges) than GNAT

["Randy Brukardt" <randy@rrsoftware.com>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:ov60fj$mt8$1@gioia.aioe.org...
> On 23/11/2017 01:35, Randy Brukardt wrote:
...
>> as they are a rather useless construct that mainly serves to
>> introduce bugs (if the shared library gets updated out of sync with
>> the rest of the program).
>
> There is no any alternative to shared libraries.

Of course there is: write your code to use nothing but the target OS 
facilities and Ada. (Yes, I know that Windows uses shared libraries to 
implement the OS interface, but that's not visible to a statically linked 
program.) That was always the requirement at RRS, and any time that we've 
deviated from it we've generally come to regret it.

Statically linked programs are not going to fail because of some upgrade 
outside of botched OS upgrades (which are much less likely than other kinds, 
because most OS vendors are well aware of the havoc that they can cause).

The supposed reasons for using shared libraries rarely hold any water (there 
aren't going to be dozens of nearly identical Ada programs running on a 
single machine at a single time).

                                         Randy.