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: a07f3367d7,cc3c5a58c46ea9c4 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit X-Received: by 10.180.86.34 with SMTP id m2mr1245107wiz.5.1364344364515; Tue, 26 Mar 2013 17:32:44 -0700 (PDT) MIME-Version: 1.0 Path: p18ni19770wiv.0!nntp.google.com!feeder1.cambriumusenet.nl!82.197.223.108.MISMATCH!feeder2.cambriumusenet.nl!feed.tweaknews.nl!85.12.40.138.MISMATCH!xlned.com!feeder5.xlned.com!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!border2.nntp.ams2.giganews.com!border4.nntp.ams.giganews.com!border2.nntp.ams.giganews.com!border2.nntp.dca.giganews.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsgate.cuhk.edu.hk!goblin2!goblin.stu.neva.ru!aioe.org!news.ecp.fr!news.jacob-sparre.dk!munin.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Runtime startup code for the GNAT Runtime...and a bit of humble pie. Date: Wed, 20 Mar 2013 19:16:04 -0500 Organization: Jacob Sparre Andersen Research & Innovation Message-ID: References: <21ad4ef7-0e4a-40ba-ac3f-fe21018c7bd9@googlegroups.com> <1b0r595r7mo50.5ixrxomanvxr$.dlg@40tude.net> NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net X-Trace: munin.nbi.dk 1363824965 7222 69.95.181.76 (21 Mar 2013 00:16:05 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Thu, 21 Mar 2013 00:16:05 +0000 (UTC) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157 Date: 2013-03-20T19:16:04-05:00 List-Id: "Dmitry A. Kazakov" wrote in message news:1b0r595r7mo50.5ixrxomanvxr$.dlg@40tude.net... > On Tue, 19 Mar 2013 16:43:19 -0500, Randy Brukardt wrote: > >> I think it's unfortunate that Ada has moved away from its bare machine >> roots, because that is where the increased reliability really shined (as >> it >> did on MS-DOS, > > This is of course true, but it was inevitable because Ada missed > breakthrough of networking technologies as well as changes in the hardware > architecture. It was not Ada's fault. Furthermore, it is not clear how Ada > could incorporate these into the standard. That does not look doable. So > the only alternative seems to be what we have now. Clearly, the sockets library that never got a real proposal would have helped a bit (mostly for server-side work) on the network end. Having to use some implementation-defined thing (Gnat.Sockets, Claw.Sockets) or off-the-web freebee (like NCSockets) doesn't help anything. Of course, I don't seem much hope for Ada running in a web browser. (Personally, I think this is a good thing, I don't think much of anything should be allowed to run in a browser for security reasons. But I'm clearly going to be in a minority on this.) I'm not quite sure what you mean by "changes in hardware architecture". The mainstream architechures are well-supported by Ada (there is very little in multi-core that wasn't already anticipated by Ada, as Ada was designed for multi-processor architectures and there isn't much different). Most of the problem areas are less with the language and more with the implementations. In any case, your overall point is quite correct. To a large extent, this is an implementation problem more than a language problem, but most people can't separate the two and in the final analysis, the distinction doesn't matter much. If people want to run their program mostly in a browser, nothing is going to help them much (because they're on the road to hell, they just don't know it yet); certainly, there is no way to bring the advances in static analysis that reenforce Ada to that area (at best we could combine an Ada back-end with a Javascript front-end in some tool, but I really wonder if the result would have many of the advantages of Ada left. It's a project I'd be willing to try if there was a supporter for it.) Randy.