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: buffer2.nntp.dca1.giganews.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!1.eu.feeder.erje.net!gandalf.srv.welterde.de!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: Mon, 1 Jun 2015 16:36:56 -0500 Organization: Jacob Sparre Andersen Research & Innovation Message-ID: References: <59a4ee45-23fb-4b0e-905c-cc16ce46b5f6@googlegroups.com> <46b2dce1-2a1c-455d-b041-3a9d217e2c3f@googlegroups.com> <3277d769-6503-4c7f-885f-3a730762b620@googlegroups.com> <9fa68fb7-89f0-42b3-8f25-20e70cb34d63@googlegroups.com> <87egm3u662.fsf@adaheads.sparre-andersen.dk> <20c56bea-2803-4aa9-a626-2d25e480df20@googlegroups.com> <1dmgofrqo3xn5$.1p4241xr4z92p.dlg@40tude.net> <1066il1b5nk21.ioykgza5bnsw.dlg@40tude.net> NNTP-Posting-Host: rrsoftware.com X-Trace: loke.gir.dk 1433194616 5466 24.196.82.226 (1 Jun 2015 21:36:56 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Mon, 1 Jun 2015 21:36:56 +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: number.nntp.giganews.com comp.lang.ada:193433 Date: 2015-06-01T16:36:56-05:00 List-Id: "Dmitry A. Kazakov" wrote in message news:1066il1b5nk21.ioykgza5bnsw.dlg@40tude.net... > On Sat, 30 May 2015 06:21:01 -0700 (PDT), jan.de.kruyf@gmail.com wrote: ... >>> Few syntax problems Ada has come straight from Wirth himself. E.g. >>> different syntax for declarations of subprogram types and values >>> (bodies) >>> from other types and values. Wirth seems never cared much about types. >> >> Believe it or not he did, but he has never been known to be paranoid. > > He himself wrote as a title: Algorithms + Data Structures = Programs Ah, yes, one of my old college textbooks. The professor of the class had never used it before, and we ended up spending lots of class-time trying to figure out how the algorithms should work. They were riddled with errors. Apparently, running the sample programs was a novel concept. (Dunno if those problems were fixed in a later edition, hopefully. I've heard from others that they thought the book was useful, so YMMV) Randy.