comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: array from static predicate on enumerated type
Date: Thu, 18 Mar 2021 12:26:51 +0100	[thread overview]
Message-ID: <s2vddp$1kt8$1@gioia.aioe.org> (raw)
In-Reply-To: b2ac5112-cc50-456d-b7f8-6123de344f55n@googlegroups.com

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

  reply	other threads:[~2021-03-18 11:26 UTC|newest]

Thread overview: 38+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-03-12 20:49 array from static predicate on enumerated type Matt Borchers
2021-03-12 21:22 ` Egil H H
2021-03-12 22:16 ` Jeffrey R. Carter
2021-03-12 22:41 ` Dmitry A. Kazakov
2021-03-13  2:06   ` Matt Borchers
2021-03-13  4:55     ` Randy Brukardt
2021-03-15 14:16       ` Matt Borchers
2021-03-15 17:53         ` Shark8
2021-03-16  6:58         ` Randy Brukardt
2021-03-13  8:04     ` Dmitry A. Kazakov
2021-03-15 14:11       ` Matt Borchers
2021-03-15 17:48         ` Shark8
2021-03-15 20:25           ` Dmitry A. Kazakov
2021-03-16 13:27             ` Shark8
2021-03-16 14:25               ` Dmitry A. Kazakov
2021-03-17  4:05                 ` Matt Borchers
2021-03-17  7:08                   ` Dmitry A. Kazakov
2021-03-17 18:44                     ` Matt Borchers
2021-03-17 19:41                       ` Dmitry A. Kazakov
2021-03-18  1:30                         ` Matt Borchers
2021-03-18  8:20                           ` Dmitry A. Kazakov
2021-03-19  0:10                             ` Matt Borchers
2021-03-19  8:00                               ` Dmitry A. Kazakov
2021-03-18 10:15                           ` Niklas Holsti
2021-03-18 10:47                             ` AdaMagica
2021-03-18 11:26                               ` Dmitry A. Kazakov [this message]
2021-03-19  0:34                             ` Matt Borchers
2021-03-19  0:49                               ` Jeffrey R. Carter
2021-03-23  1:07                                 ` Matt Borchers
2021-03-23  3:43                                   ` Randy Brukardt
2021-03-22 19:09                               ` Niklas Holsti
2021-03-17 15:08                   ` Shark8
2021-03-17 19:08                     ` Matt Borchers
2021-03-17 20:41                       ` Shark8
2021-03-18  1:04                         ` Matt Borchers
2021-03-18 14:25                           ` Shark8
2021-03-18 23:36                             ` Matt Borchers
2022-03-16  0:38             ` Thomas
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox