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=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,aa955fc1adc2b46d X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!postnews.google.com!g10g2000cwb.googlegroups.com!not-for-mail From: "Ludovic Brenta" Newsgroups: comp.lang.ada Subject: Re: of possible interest Date: 5 May 2006 07:40:45 -0700 Organization: http://groups.google.com Message-ID: <1146840045.522270.129640@g10g2000cwb.googlegroups.com> References: <1146769504.421510.21010@j73g2000cwa.googlegroups.com> <8764klwpz5.fsf@ludovic-brenta.org> <1146785427.10824.21.camel@localhost.localdomain> NNTP-Posting-Host: 212.190.145.10 Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" X-Trace: posting.google.com 1146840055 6393 127.0.0.1 (5 May 2006 14:40:55 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Fri, 5 May 2006 14:40:55 +0000 (UTC) In-Reply-To: <1146785427.10824.21.camel@localhost.localdomain> User-Agent: G2/0.2 X-HTTP-UserAgent: Mozilla/5.0 (X11; U; SunOS sun4u; fr-FR; rv:1.6) Gecko/20040116,gzip(gfe),gzip(gfe) X-HTTP-Via: 1.1 SEVPXS01 Complaints-To: groups-abuse@google.com Injection-Info: g10g2000cwb.googlegroups.com; posting-host=212.190.145.10; posting-account=ZjNXewwAAADyBPkwI57_UcX8yKfXWOss Xref: g2news2.google.com comp.lang.ada:4095 Date: 2006-05-05T07:40:45-07:00 List-Id: Georg Bauhaus writes: > On Thu, 2006-05-04 at 21:26 +0200, Ludovic Brenta wrote: >> Quite interesting indeed. For embedded software, Aonix are promoting >> a new, unproven, proprietary development and run-time environment >> derived from Java, > > I'd not be so sure about this. If you actually look at the > things Aonix offers under the heading "Java", you will notice > a number of familiar items. One has the qualification Raven, > for a start... > > The "Java" has @AnnoTations that let me speculate they do use > their Ada experience to build something that is more marketable > yet incorporates lots of Ada, and possibly more, even when > this is not syntactically apparent. I haven't found these on the FAQ, but you make it sound like they've actually "embraced and extended" the Java language. If that's the case, then I can only conclude they've partly fallen into the trap of "yet another language" which the paper criticised. > > a notoriously unsafe language, > > They don't just use Java, really, considering names like > @StaticallyAnalyzable in their language. An ahead-of-time > compiler is not the same thing as a JIT, either. > > > while at the same > > time admitting that Ada has been just fine for these environments for > > 23 years. > > I'm curious whether there isn't a financial incentive: The J-word > sells much better than the A-word, so how do we find a compromise > between {}s and language rigor, for display software of smartphones > or ticket machines, etc. Of course there is a financial incentive. That was precisely the cause of my ire: they seem to be favouring marketing over engineering. They have an aura as a provider of top-of-the-line technology for top-of-the-line embedded systems. They could use that aura to persuade the masses to use good Software Engineering tools. Instead, they promote Java-based tools. By doing this, they might gain customers, but they've lost their aura and soul. They encourage businesses to hire Java coders instead of software engineers and to lower their standards. Besides, what are they hoping? Do they really want to compete against hordes of Java "me-too" tool providers? > I also do not understand your qualification of the "development and > run-time environment derived from Java". It's Eclipse AFAICT, so > neither exactly unproven nor totally black-box-proprietary stuff, > seen from a Java perspective. The compiler, precompiled libraries and virtual machine are proprietary. I see they offer a "source code license", though. Probably quite expensive, but my main gripe is that it still violates Freedoms 2 and 3. They seem to be trying to get their "extensions" to the language into a standard. That's good, but in the mean time, if you use these "extensions" in your programs, you risk becoming a captive customer anyway. What good is a standard if only one vendor supports it? > OTOH, what's the effect of 'Img on Ada? Do you mean that AdaCore is guilty of "embracing and extending", too? Yes, that's true, but they also provide pragma Extensions_Allowed, so they can be forgiven :) Moreover, contrary to Java, Ada is quite suitable for embedded Software Engineering even without any extensions. -- Ludovic Brenta.