From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.unit0.net!news.uni-stuttgart.de!news.enyo.de!.POSTED!not-for-mail
From: Florian Weimer <fw@deneb.enyo.de>
Newsgroups: comp.lang.ada
Subject: Re: Weakness of Ada is expensive / security / etc. ? Anything else?
Date: Mon, 20 Jul 2015 21:33:01 +0200
Message-ID: <87mvyq7hg2.fsf@mid.deneb.enyo.de>
References: <084c0dc7-ae74-4cb8-b1fe-78f42de94291@googlegroups.com>
	<87pp3m91be.fsf@mid.deneb.enyo.de>
	<871tg2yb7m.fsf@jester.gateway.sonic.net>
	<87lhea90lr.fsf@mid.deneb.enyo.de>
	<87wpxuwvjz.fsf@jester.gateway.sonic.net>
	<87h9oy8z5q.fsf@mid.deneb.enyo.de>
	<87si8iwueb.fsf@jester.gateway.sonic.net>
Mime-Version: 1.0
Content-Type: text/plain
X-Trace: news.enyo.de 1437420781 4784 192.168.18.20 (20 Jul 2015 19:33:01 GMT)
X-Complaints-To: news@enyo.de
Cancel-Lock: sha1:DJdEqvu+4OiuMakJ1NOBX4RXiss=
Xref: news.eternal-september.org comp.lang.ada:26915
Date: 2015-07-20T21:33:01+02:00
List-Id: <comp.lang.ada>

* Paul Rubin:

> Florian Weimer <fw@deneb.enyo.de> writes:
>>> 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.
>
> Fair enough, though that level of support doesn't seem that useful
> (downloading FSF GNAT to my laptop and getting it working wasn't
> difficult).

Well, the subscription comes with developer support.  (The
self-support option is $99 per year, with the same packages as far as
I know.)

> I guess GPL SPARK is not included.

It's not.

>> Production support (after deployment) is separate, and Red Hat will
>> support deployment on Red Hat Enterprise Linux only, I assume.
>
> I wonder if anyone is using it for real.

That's a question for Red Hat sales.  I couldn't possibly comment.

>> 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.
>
> The number I heard was at least 10x higher than single-seat licenses of
> competing C/C++ and Forth products that I know of.

But these products have unbundled support, and you pay only for
software licenses, right?  So the comparison isn't really fair.  For
GNAT, the equivalent self-support option is priced at a very
competitive $0.

> I'm not exactly criticizing AdaCore since they're probably doing the
> right thing for their target market (aerospace companies, high-dollar
> critical systems, etc).  But it seems to leave an unfilled need for the
> low-budget embedded developer who wants a better language than C.

I doubt it's commercially reasonable to support such developers, at
least not without constraining them to a specific (small set) of
target platforms.