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=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!gegeweb.org!news.ecp.fr!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Build language with weak typing, then add scaffolding later to strengthen it? Date: Thu, 28 May 2015 17:46:26 -0500 Organization: Jacob Sparre Andersen Research & Innovation Message-ID: References: <127b004d-2163-477b-9209-49d30d2da5e1@googlegroups.com> <59a4ee45-23fb-4b0e-905c-cc16ce46b5f6@googlegroups.com> <46b2dce1-2a1c-455d-b041-3a9d217e2c3f@googlegroups.com> NNTP-Posting-Host: rrsoftware.com X-Trace: loke.gir.dk 1432853187 31182 24.196.82.226 (28 May 2015 22:46:27 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Thu, 28 May 2015 22:46:27 +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 Xref: news.eternal-september.org comp.lang.ada:26042 Date: 2015-05-28T17:46:26-05:00 List-Id: wrote in message news:ac78c8c6-de94-4f92-afcb-c1ae78523245@googlegroups.com... ... > And statistics prove that point. I have written 1000th's of lines in > Oberon and > 1000th's of lines in Ada. Both highly technical software. >And I got exactly the same kind of errors on compiling and running: errors >caused > by my sloppy habits. And both the Oberon compiler that fits on a floppy (a > floppy, > not a stiffy) and Gcc which stands at over 1Gig of source in the latest > implementation, caught them equally well and also the runtime errors that > I caused > were exactly the same. Uh-huh. Janus/Ada 83 fit on and ran on floppies. (Heck, there wasn't anything else available on early MS-DOS.) Even the relatively tiny 5 1/4" floppies. It still would if you could find a machine that has floppies. The bloat is in GCC, not necessarily in Ada. The bloat in the Standard (such as it is) came from adding lots of stuff that people thought was necessary (but argubly isn't): tagged types and dispatching, interfaces, prefix calls, assertions, and (especially) containers. >So please explain to me why on earth I or DoD or ISO or anybody else needs >all the bloat to confuse us. We don't. As with all old languages, it's political. We can't remove old features (as that would break existing programs), so the only possibility is for the Standard to get bigger. It's also getting bigger because we've (me in particular) have been insisting on adding wording to fill holes, rather than just ignoring them. Based on my experience, I think a language standard with 17 pages is about 90% hole (unless, of course, the language doesn't actually do anything). I'd think it's getting close to time to start over with Ada, not because of any major problem, but simply the accumulation of cruft. The problem is that if you think its hard to convince people to use Ada with all of its track record, try doing that with a new language with no record. So I don't think there would be much of a market for that. Randy.