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,25e091afe1184988 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news2.google.com!news.germany.com!newsfeed.freenet.de!border2.nntp.ams.giganews.com!nntp.giganews.com!news-in.ntli.net!newsrout1-win.ntli.net!ntli.net!news.highwinds-media.com!newspeer1-win.ntli.net!newsfe1-gui.ntli.net.POSTED!53ab2750!not-for-mail From: "Dr. Adrian Wrigley" Subject: Re: Reference-oriented language and high-integrity software User-Agent: Pan/0.14.2 (This is not a psychotic episode. It's a cleansing moment of clarity.) Message-Id: Newsgroups: comp.lang.ada References: <4r0rggFoug8lU1@individual.net> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Date: Fri, 03 Nov 2006 15:27:56 GMT NNTP-Posting-Host: 82.21.99.109 X-Trace: newsfe1-gui.ntli.net 1162567676 82.21.99.109 (Fri, 03 Nov 2006 15:27:56 GMT) NNTP-Posting-Date: Fri, 03 Nov 2006 15:27:56 GMT Organization: NTL Xref: g2news2.google.com comp.lang.ada:7361 Date: 2006-11-03T15:27:56+00:00 List-Id: On Fri, 03 Nov 2006 12:37:35 +0000, Peter Amey wrote: > Maciej Sobczak wrote: > > [snip] >> >> And last but not least, how does the JB's statement stand in front of >> things like RealTime Java or even HIJA (High-Integrity Java) > > The answer to this one is, I think, a bit easier. Neither RealTime Java > nor HIJA can reasonably be described as Java. The last time I looked, > both required special compilers; were designed to produce native machine > code not an interpreted J code; allocated objects on the stack rather > than heap; and had no garbage collection. The restrictions mean that > you cannot use any of the standard libraries and don't get platform > portable code; the two primary attraction of Java in the first place. > What you do have is two new languages that just happen to have a > Java-like syntax. The modifications required to give these new > languages their real-time and high integrity credentials are precisely > aligned with John Barnes's objections to them. So the advantage is that you can attempt use existing programmers for writing high integrity/real-time software. And the code produced can even be executed with standard compilers/runtimes, albeit without the benefits of the HI/RT environment. And of course, all the IDEs, code analysis tools can be used. Sounds rather useful. The skeptics (Martin) are saying the only benefit is better buzz-words. But then SPARK Ada is based on the same philosophy (restricted language, compiler, run-time to achieve tougher HI/RT goals). -- Adrian