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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.236.10.33 with SMTP id 21mr5413465yhu.33.1432236576260; Thu, 21 May 2015 12:29:36 -0700 (PDT) X-Received: by 10.140.23.166 with SMTP id 35mr79152qgp.12.1432236576181; Thu, 21 May 2015 12:29:36 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!1.eu.feeder.erje.net!newspeer1.nac.net!border2.nntp.dca1.giganews.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!z60no3087507qgd.1!news-out.google.com!k20ni44818qgd.0!nntp.google.com!z60no3088807qgd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 21 May 2015 12:29:36 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=91.55.205.28; posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf NNTP-Posting-Host: 91.55.205.28 References: User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Build language with weak typing, then add scaffolding later to strengthen it? From: AdaMagica Injection-Date: Thu, 21 May 2015 19:29:36 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: news.eternal-september.org comp.lang.ada:25933 Date: 2015-05-21T12:29:36-07:00 List-Id: Just think about how thick the Ada RM is with all its rules to make the language safe and the RM correct. And think about the number of AI's each language generation has to correct the errors in the manual. Compare this to other languages' RMs.