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!.POSTED!not-for-mail From: "Jeffrey R. Carter" Newsgroups: comp.lang.ada Subject: Re: Build language with weak typing, then add scaffolding later to strengthen it? Date: Tue, 26 May 2015 10:11:34 -0700 Organization: Also freenews.netfront.net; news.tornevall.net; news.eternal-september.org Message-ID: References: <127b004d-2163-477b-9209-49d30d2da5e1@googlegroups.com> <59a4ee45-23fb-4b0e-905c-cc16ce46b5f6@googlegroups.com> <46b2dce1-2a1c-455d-b041-3a9d217e2c3f@googlegroups.com> <3277d769-6503-4c7f-885f-3a730762b620@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Injection-Date: Tue, 26 May 2015 17:10:25 +0000 (UTC) Injection-Info: mx02.eternal-september.org; posting-host="a3855fbfe1a666be9aefba0563039ed5"; logging-data="21639"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19sFekaBZwfwiFH9CTP+B2qb0Wvw01+KPM=" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0 In-Reply-To: Cancel-Lock: sha1:JQKgLMpnwLXCmjAbiOkXiUbFOC8= Xref: news.eternal-september.org comp.lang.ada:26014 Date: 2015-05-26T10:11:34-07:00 List-Id: On 05/26/2015 01:49 AM, J-P. Rosen wrote: >> > I also downloaded the Oberon report and had a look at it (easy, only 17 > pages). I'd say it is not to be compared with anything close to a > standard. It's just a "report" that gives a vague idea of the language > without addressing any serious issue. TBH, it claims that its fuzzy > definitions are intended: > > "What remains unsaid is mostly left so intentionally, either because it > is derivable from stated rules of the language, or because it would > unnecessarily restrict the freedom of implementors." > > Translate: we don't care for portability. That was my reaction to that sentence as well. Of course, the ARM has some of those, as well. There's no reason Integer couldn't be defined as type Integer is range -(2 ** 15) + 1 .. (2 ** 15) - 1; rather than being implementation defined with at least that range. That would enhance portability and decrease overuse of the predefined type. > And the list of missing features is stunning, just some of them: > No user defined integer types (only two integer types: BYTE and INTEGER, > and they are /not/ incompatible), no enumeration types, no fixed points, > arrays indexed from 0, no variant records, no exceptions, no tasking, no > generics, no representation clauses, structural equivalence for array > parameters, no user defined operators, no overloading, no overriding, etc... > > Looks more like a slightly improved Pascal appropriate for teaching than > an industrial language. Those are differences between Ada and Oberon. Whether they're "missing" from Oberon is a matter of opinion; clearly jan.de.kruyf@gmail.com doesn't think so. As to being "a slightly improved Pascal", having modules and terminators for compound statements is an improvement, but Pascal had enumeration types and array ranges with differing low bounds, and lacking those is going in the wrong direction IMO, so the overall improvement seems pretty close to nil. Anyway, if you took the ARM, got rid of all the things Oberon doesn't have, eliminated the precision of the definitions and any "unnecessary" verbiage, you'd probably end up close to Oberon's 17 pp. -- Jeff Carter "What's special about Agile is that it's a mix of the best and the worst." Bertrand Meyer 148