Re: Weakness of Ada is expensive / security / etc. ? Anything else?

[Florian Weimer <fw@deneb.enyo.de>]

* Paul Rubin:

> Florian Weimer <fw@deneb.enyo.de> writes:
>>> What compiler is that?
>> GNAT with a developer subscription from Red Hat.
>
> Is that basically the FOSS segment of GNAT, with some support added?

Yes, as far as I can see, it's the same bits you get as part of Red
Hat Enterpise Linux (and CentOS is built from pretty much the same
sources).  It's based on the FSF version, so you get the GNAT run time
exception.

> Does the target system have to be Red Hat (or at least Linux), as
> opposed to embedded targets?

Production support (after deployment) is separate, and Red Hat will
support deployment on Red Hat Enterprise Linux only, I assume.

So this is certainly not an option for small-device embedded
development, or high-assurance software.  But for those markets,
AdaCore's pricing is not unreasonable, I think.