From: "Manfred Kremer" <0845330659-0001@t-online.de>
Subject: Re: What's stopping you from using Ada for your next commercial project?
Date: Fri, 11 Mar 2011 09:12:19 +0100
Date: 2011-03-11T09:12:19+01:00 [thread overview]
Message-ID: <ilclh5$5l7$01$1@news.t-online.com> (raw)
In-Reply-To: <ilber1$hcc$1@munin.nbi.dk>
Wonder what happened to the Ada Compiler Validation Suite.
Was this abandoned or is it still maintained to reflect recent changes to
the ARM?
For several years I had the impression that the Validation Suite is
something that distinuishes Ada from other programming languages and could
be a reason to use validated Ada compilers.
Manfred
"Randy Brukardt" <randy@rrsoftware.com> schrieb im Newsbeitrag
news:ilber1$hcc$1@munin.nbi.dk...
> "Thomas L�cke" <tl@ada-dk.org> wrote in message
> news:4d78c3c6$0$23757$14726298@news.sunsite.dk...
>> On 2011-03-10 12:12, Dmitry A. Kazakov wrote:
>>> Ada 2005 was not that big step forward.
>>
>> That makes it even more odd/annoying that 6 years down the line, someone
>> like Maciej still can't use plain Ada 2005 features without running into
>> compiler issues/errors.
>
> Interfaces are a particularly difficult feature to get even close to
> right. I'd expect to be finding bugs in those essentially forever (just as
> happens with finalization). Indeed, these are hard enough to implement
> that there are no plans to implement them in Janus/Ada in the forseeable
> future (modulo a customer with $$$, of course). There are a lot of other
> things that Janus/Ada needs that will take an order of magnitude less
> development time (and thus are much better choices for development
> effort).
>
> This is a problem with MI in general, not just with Ada. Bugs are still
> turning up in C++ compilers, and they have more than a decade's head start
> on GNAT...
>
> Randy.
>
>
next prev parent reply other threads:[~2011-03-11 8:12 UTC|newest]
Thread overview: 128+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-03-08 22:23 What's stopping you from using Ada for your next commercial project? Lucretia
2011-03-09 3:19 ` Hoàng Đình Long
2011-03-09 8:41 ` Ludovic Brenta
2011-03-09 8:58 ` Maciej Sobczak
2011-03-09 14:17 ` Georg Bauhaus
2011-03-09 14:21 ` localhost
2011-03-09 15:06 ` Georg Bauhaus
2011-03-09 15:17 ` localhost
2011-03-10 14:20 ` Peter C. Chapin
2011-03-10 14:31 ` Thomas Løcke
2011-03-10 16:01 ` Georg Bauhaus
2011-03-10 16:07 ` Georg Bauhaus
2011-03-10 17:31 ` Dirk Craeynest
2011-03-09 20:43 ` Simon Wright
2011-03-09 22:04 ` Maciej Sobczak
2011-03-10 0:38 ` Lucretia
2011-03-10 7:52 ` Maciej Sobczak
2011-03-10 8:06 ` Thomas Løcke
2011-03-10 8:26 ` Nasser M. Abbasi
2011-03-10 10:28 ` Thomas Løcke
2011-03-10 10:45 ` J-P. Rosen
2011-03-11 9:40 ` Hoàng Đình Long
2011-03-13 11:09 ` Yannick Duchêne (Hibou57)
2011-03-13 10:55 ` Yannick Duchêne (Hibou57)
2011-03-10 8:27 ` Ludovic Brenta
2011-03-10 10:35 ` Thomas Løcke
2011-03-10 11:12 ` Dmitry A. Kazakov
2011-03-10 12:17 ` Georg Bauhaus
2011-03-10 12:27 ` Thomas Løcke
2011-03-10 12:58 ` Dmitry A. Kazakov
2011-03-10 13:30 ` Georg Bauhaus
2011-03-10 13:49 ` Maciej Sobczak
2011-03-10 14:31 ` Dmitry A. Kazakov
2011-03-10 14:45 ` Thomas Løcke
2011-03-10 15:17 ` Dmitry A. Kazakov
2011-03-13 11:38 ` Yannick Duchêne (Hibou57)
2011-03-13 11:58 ` Dmitry A. Kazakov
2011-03-13 12:17 ` Yannick Duchêne (Hibou57)
2011-03-13 14:35 ` Dmitry A. Kazakov
2011-03-14 2:38 ` Yannick Duchêne (Hibou57)
2011-03-14 8:43 ` Dmitry A. Kazakov
2011-03-10 21:11 ` Randy Brukardt
2011-03-11 8:12 ` Manfred Kremer [this message]
2011-03-11 12:04 ` Peter C. Chapin
2011-03-11 22:40 ` Randy Brukardt
2011-03-11 23:24 ` Dan
2011-03-10 13:33 ` Maciej Sobczak
2011-03-10 17:08 ` Dirk Craeynest
2011-03-14 19:11 ` Florian Weimer
2011-03-14 21:10 ` Ludovic Brenta
2011-03-13 10:51 ` Yannick Duchêne (Hibou57)
2011-03-13 10:24 ` Yannick Duchêne (Hibou57)
2011-03-13 21:43 ` Maciej Sobczak
2011-03-13 22:04 ` Thomas Løcke
2011-03-14 0:09 ` Simon Wright
2011-03-14 2:57 ` Yannick Duchêne (Hibou57)
2011-03-14 16:45 ` Pascal Obry
2011-03-14 18:29 ` Simon Wright
2011-03-14 18:37 ` Florian Weimer
2011-03-14 19:43 ` Simon Wright
2011-03-14 2:53 ` Yannick Duchêne (Hibou57)
2011-03-13 10:29 ` Yannick Duchêne (Hibou57)
2011-03-13 21:48 ` Maciej Sobczak
2011-03-13 10:34 ` Yannick Duchêne (Hibou57)
2011-03-13 11:42 ` Simon Wright
2011-03-13 12:06 ` Yannick Duchêne (Hibou57)
2011-03-12 19:55 ` Florian Weimer
2011-03-25 12:36 ` Marco
2011-03-25 22:30 ` Maciej Sobczak
2011-03-26 12:00 ` Georg Bauhaus
2011-03-27 21:13 ` Yannick Duchêne (Hibou57)
2011-03-27 20:49 ` Yannick Duchêne (Hibou57)
2011-03-09 9:11 ` Thomas Løcke
2011-03-12 21:50 ` Lucretia
2011-03-09 10:39 ` localhost
2011-03-09 11:24 ` Nasser M. Abbasi
2011-03-09 11:38 ` localhost
2011-03-09 14:16 ` Georg Bauhaus
2011-03-10 10:21 ` Gerd
2011-03-10 11:27 ` Dmitry A. Kazakov
2011-03-10 11:49 ` Georg Bauhaus
2011-03-11 8:37 ` Stephen Leake
2011-03-11 12:08 ` Peter C. Chapin
2011-03-11 15:15 ` Dmitry A. Kazakov
2011-03-11 15:37 ` Hyman Rosen
2011-03-12 20:26 ` Florian Weimer
2011-03-26 15:15 ` Gerd
2011-03-26 16:20 ` Pascal Obry
2011-03-09 11:36 ` Ludovic Brenta
2011-03-09 11:42 ` localhost
2011-03-10 2:22 ` KK6GM
2011-03-11 14:01 ` Rego
2011-03-11 15:20 ` KK6GM
2011-03-11 16:42 ` Rego
2011-03-11 18:15 ` KK6GM
2011-03-11 20:09 ` Thomas Løcke
2011-03-11 16:46 ` Georg Bauhaus
2011-03-14 12:18 ` jonathan
2011-03-14 14:12 ` KK6GM
2011-04-08 12:53 ` Jacob Sparre Andersen
2011-03-14 18:00 ` Niklas Holsti
2011-03-12 12:47 ` Stephen Leake
2011-03-12 18:15 ` KK6GM
2011-03-13 17:55 ` Lucretia
2011-03-14 3:28 ` Yannick Duchêne (Hibou57)
2011-03-15 0:40 ` Lucretia
2011-03-14 3:20 ` Yannick Duchêne (Hibou57)
2011-03-14 3:17 ` Yannick Duchêne (Hibou57)
2011-03-14 12:15 ` KK6GM
2011-03-14 13:41 ` Yannick Duchêne (Hibou57)
2011-03-14 14:05 ` KK6GM
2011-03-14 14:38 ` Peter C. Chapin
2011-03-14 14:07 ` Dmitry A. Kazakov
2011-03-14 14:00 ` Dmitry A. Kazakov
2011-03-14 14:09 ` KK6GM
2011-03-14 14:42 ` Yannick Duchêne (Hibou57)
2011-03-14 17:17 ` Georg Bauhaus
2011-03-14 17:25 ` Yannick Duchêne (Hibou57)
2011-03-14 20:04 ` Simon Clubley
2011-03-14 22:12 ` J-P. Rosen
2011-03-15 12:11 ` Simon Clubley
2011-03-15 20:25 ` J-P. Rosen
2011-03-15 14:55 ` Yannick Duchêne (Hibou57)
2011-03-15 20:28 ` J-P. Rosen
2011-03-15 4:10 ` Yannick Duchêne (Hibou57)
2011-03-14 14:39 ` Yannick Duchêne (Hibou57)
2011-03-10 21:35 ` Gautier write-only
2011-03-13 12:04 ` Yannick Duchêne (Hibou57)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox