From: Paul Rubin <no.email@nospam.invalid>
Subject: Re: Weakness of Ada is expensive / security / etc. ? Anything else?
Date: Mon, 20 Jul 2015 11:34:04 -0700
Date: 2015-07-20T11:34:04-07:00 [thread overview]
Message-ID: <87si8iwueb.fsf@jester.gateway.sonic.net> (raw)
In-Reply-To: 87h9oy8z5q.fsf@mid.deneb.enyo.de
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). I guess GPL SPARK is not included.
> 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.
> 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. It does come with 5
seats minimum, but that's not of much use to a solo developer. I also
don't know how much more you have to pay for the add-on tools that make
the product more interesting (SPARK Pro, CodePeer, etc.)
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.
next prev parent reply other threads:[~2015-07-20 18:34 UTC|newest]
Thread overview: 61+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-07-17 10:19 Weakness of Ada is expensive / security / etc. ? Anything else? Trish Cayetano
2015-07-17 10:46 ` Simon Clubley
2015-07-17 15:35 ` Trish Cayetano
2015-07-17 15:54 ` David Botton
2015-07-17 12:06 ` G.B.
2015-07-17 15:38 ` Trish Cayetano
2015-07-17 12:54 ` David Botton
2015-07-17 15:41 ` Trish Cayetano
2015-07-17 16:20 ` Patrick Noffke
2015-07-17 17:31 ` Shark8
2015-07-17 17:43 ` Simon Clubley
2015-07-17 18:39 ` Jeffrey R. Carter
2015-07-17 19:28 ` jm.tarrasa
2015-07-17 21:00 ` Pascal Obry
2015-07-17 21:53 ` Shark8
2015-07-17 22:41 ` Nasser M. Abbasi
2015-07-18 7:40 ` Trish Cayetano
2015-07-19 14:55 ` David Botton
2015-07-20 2:40 ` Norman Worth
2015-07-20 9:52 ` Serge Robyns
2015-07-20 17:35 ` Shark8
2015-07-20 19:13 ` David Botton
2015-07-20 22:12 ` NiGHTS
2015-07-21 1:37 ` Norman Worth
2015-07-21 6:54 ` Dmitry A. Kazakov
2015-07-21 13:31 ` NiGHTS
2015-07-21 16:59 ` Dmitry A. Kazakov
2015-07-21 17:50 ` NiGHTS
2015-07-21 19:44 ` Dmitry A. Kazakov
2015-07-21 20:28 ` Björn Lundin
2015-07-21 22:01 ` Georg Bauhaus
2015-07-21 23:44 ` Shark8
2015-07-22 6:19 ` Dmitry A. Kazakov
2015-07-22 6:13 ` Dmitry A. Kazakov
2015-07-22 7:04 ` Georg Bauhaus
2015-07-22 7:37 ` Dmitry A. Kazakov
2015-07-22 9:29 ` Graham Stark
2015-07-22 10:33 ` Dmitry A. Kazakov
2015-07-22 10:12 ` G.B.
2015-07-22 10:31 ` Dmitry A. Kazakov
2015-07-22 11:20 ` G.B.
2015-07-22 0:17 ` NiGHTS
2015-07-22 6:54 ` Dmitry A. Kazakov
2015-07-22 15:11 ` Shark8
2015-07-22 11:43 ` Brian Drummond
2015-07-24 7:34 ` Egil H H
2015-07-21 11:17 ` Serge Robyns
2015-07-20 17:38 ` Florian Weimer
2015-07-20 17:45 ` Paul Rubin
2015-07-20 17:53 ` Florian Weimer
2015-07-20 18:09 ` Paul Rubin
2015-07-20 18:25 ` Florian Weimer
2015-07-20 18:34 ` Paul Rubin [this message]
2015-07-20 19:33 ` Florian Weimer
2015-07-20 20:20 ` Paul Rubin
2015-07-22 18:29 ` Florian Weimer
2015-07-22 19:58 ` Paul Rubin
2015-07-26 19:41 ` Florian Weimer
2015-07-27 1:18 ` Jeremiah
2015-07-22 6:34 ` Stefan.Lucks
2015-07-26 14:51 ` EGarrulo
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox