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 2002:ac8:7443:: with SMTP id h3mr5492267qtr.202.1575389216385; Tue, 03 Dec 2019 08:06:56 -0800 (PST) X-Received: by 2002:aca:72cd:: with SMTP id p196mr3877754oic.99.1575389216199; Tue, 03 Dec 2019 08:06:56 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!aioe.org!peer01.am4!peer.am4.highwinds-media.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!g89no1675666qtd.0!news-out.google.com!w29ni85qtc.0!nntp.google.com!g89no1675662qtd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 3 Dec 2019 08:06:55 -0800 (PST) In-Reply-To: <27b11294-d628-4118-8328-a4a9a3946937@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=2a02:c7d:3c35:b000:325a:3aff:fe0f:37a5; posting-account=L2-UcQkAAAAfd_BqbeNHs3XeM0jTXloS NNTP-Posting-Host: 2a02:c7d:3c35:b000:325a:3aff:fe0f:37a5 References: <87muca3vgd.fsf@nightsong.com> <57d49047-0a61-4d13-8822-d004732a3acc@googlegroups.com> <3b1b248b-43d0-4762-b1f5-1c5460d24c8b@googlegroups.com> <5e222e6c-7afe-4349-ac66-d9b78ca40ec6@googlegroups.com> <27b11294-d628-4118-8328-a4a9a3946937@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Beginning Ada Programming, by Andrew T. Shvets (2020) From: Lucretia Injection-Date: Tue, 03 Dec 2019 16:06:56 +0000 Content-Type: text/plain; charset="UTF-8" X-Received-Bytes: 2411 X-Received-Body-CRC: 2233753793 Xref: reader01.eternal-september.org comp.lang.ada:57638 Date: 2019-12-03T08:06:55-08:00 List-Id: On Tuesday, 3 December 2019 15:29:15 UTC, Optikos wrote: > There is a wise middle ground between the 2 extremes between what you & AdaMagica are saying. > > strict) AdaMagica appears to be saying that rock-solid analysis of finding the upper & lower bounds of the integer's range (or fixed or floating point or BCD for that matter) is of crucial insight & importance to understanding the problem. > > loose) You appear to be saying that for rapid prototyping that that deep analysis can be postponed. That's not what I'm saying at all! I'm saying to get someone used to the language, there is no problem with starting them off with the ready defined types, but explaining ranges a little later on, literally, within pages of themselves.