From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.5-pre1 Path: eternal-september.org!reader02.eternal-september.org!weretis.net!feeder8.news.weretis.net!news.mixmin.net!aioe.org!5WHqCw2XxjHb2npjM9GYbw.user.gioia.aioe.org.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: array from static predicate on enumerated type Date: Thu, 18 Mar 2021 12:26:51 +0100 Organization: Aioe.org NNTP Server Message-ID: References: <89128f73-fcc5-4e57-8067-d09877ba0211n@googlegroups.com> <6ca041f3-2669-4497-9548-2f17666702a6n@googlegroups.com> <26c44e00-a899-455a-a929-1e23c7935fe3n@googlegroups.com> <9abb081d-a323-466d-9ae8-a2fc8fa24725n@googlegroups.com> <9933c99a-46b1-4541-aa15-f5c23e92b037n@googlegroups.com> NNTP-Posting-Host: 5WHqCw2XxjHb2npjM9GYbw.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.8.1 X-Notice: Filtered by postfilter v. 0.9.2 Content-Language: en-US Xref: reader02.eternal-september.org comp.lang.ada:61614 List-Id: On 2021-03-18 11:47, AdaMagica wrote: > Niklas Holsti schrieb am Donnerstag, 18. März 2021 um 11:15:34 UTC+1: >> There have been suggestions and discussion here of an "Ada successor" >> language, and Dmitry in particular thinks that the type system should be >> completely overhauled for such a new language. > > It's even unclear what Dmitry's type system would look like. He never posted a set of rules (not necessarily complete) that could be discussed. He only points out deficiencies of Ada's as he sees them. It should be consistent and capable to express existing Ada type system. There is nothing inherently broken there in Ada. > Seeing deficiencies is a valid standpoint, Ada certainly has some, but we cannot discuss an alternative model without a set of requirements such a model shall fulfil. Currently there is none. I do not believe a new language is necessary. It is usual hand waving, Ada is too old etc. Rubbish, what is consistent in Ada remains consistent regardless the age. There is at least one new C developed from scratch each year, much difference? Garbage in, garbage out. I do not believe in alternative models. There can be only one consistent model, like there is only one mathematics. Alternative to right is wrong. Predicates will never work in any language, old or new, because the concept is wrong. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de