comp.lang.ada
 help / color / mirror / Atom feed
From: Optikos <ZUERCHER_Andreas@outlook.com>
Subject: Re: Ada++
Date: Fri, 29 May 2020 08:41:32 -0700 (PDT)
Date: 2020-05-29T08:41:32-07:00	[thread overview]
Message-ID: <d95d4e54-0eec-473a-b781-c1949c7e0759@googlegroups.com> (raw)
In-Reply-To: <df880ffd-623c-4e30-8d09-97f69be099cd@googlegroups.com>

On Thursday, May 28, 2020 at 10:45:48 PM UTC-5, Optikos wrote:
> On Thursday, May 28, 2020 at 5:33:15 PM UTC-5, Jerry wrote:
> > Ada++. YABL? Please discuss.
> > http://www.adapplang.com/
> 
> Please forgive me for being from another planet, but for what does the B of YABL stand?
> Yet Another ________ Language
> botched?
> fatherless-son -ized?
> 
> Quite honestly, I think it is a YAAL:  yet another Algol language like so many others because its roadmap
> so far seems to focus on yet another syntax for the same old stuff that we all have been regurgitating
> slightly differently since Algol60.
> 
> In mild support of their efforts, I would suggest that the Ada++ team go digging deep into old SIGADA
> and Tri-Ada academic papers at dl.acm.org (which are nearly all available at no-charge until 30 June
> 2020 due to Covid-19).  There are multiple old critiques and could-have would-have should-have
> alternative viewpoints of alternate Ada language variants that were passed over, including some variants
> that would have achieved another Steelman requirement or two that Ada chose not to do and that the Air
> Force's reviews trimmed out of Ichbiah's original more-expansive vision for Ada.  The article below is the
> biggest inventory of alternate variants of Ada that were discarded as proposed Green morphed into mil
> standard Ada post-Steelman (and quite honestly before that and after that in this exhaustive inventory). 
> Plus the Ada++ team should search for the great multitude of mentionings here on c.l.a of what a
> next-gen Ada would fix in rusty musty crusty older parts of Ada that are less admired nowadays than
> Ichbiah & HOLWG considered crucial back in the 1970s.  Hint:  more radical semantic maturations than
> mere syntactic doo-dads here & there.  For example, greater amounts of orthogonality such as constant
> members of records as required in Steelman 3-3F.  As another example, resurrection of the old a.app
> Ada-interpreter-within-the-Ada-compiler that was in DEC/Sun Ada compilers (which itself was Ada's
> rethink of PL/I's #PL/I interpreter within PL/I compiler), then drastically extending a.app's capabilities for
> multistage programming beyond OCaml-P4's.
> 
> https://dl.acm.org/doi/pdf/10.1145/989791.989792

In addition to the prose summary linked above, here is a much more fine-grained list of when features of Green or Ada were added or taken away.  It is available without cost until 30 June 2020.  Ada++ could revisit a great multitude of these decisions, some of which were from design-by-committee HOLWG reviewers not from Ichbiah's mastermind vision/intent.

https://dl.acm.org/doi/pdf/10.1145/24611.24614

  reply	other threads:[~2020-05-29 15:41 UTC|newest]

Thread overview: 72+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-05-28 22:33 Ada++ Jerry
2020-05-29  2:09 ` Ada++ Nasser M. Abbasi
2020-05-29  2:57   ` Ada++ Rick Newbie
2020-05-29  9:49     ` Ada++ raph.amiard
2020-05-29  9:51     ` Ada++ gautier_niouzes
2020-05-30  1:32       ` Ada++ Rick Newbie
2020-05-30  6:52         ` Ada++ gautier_niouzes
2020-05-30  7:04           ` Ada++ Rick Newbie
2020-05-30  7:31           ` Ada++ Dmitry A. Kazakov
     [not found]           ` <rb05fk$l5r$1@dont-email.me>
2020-05-31 21:20             ` Ada++ gautier_niouzes
2020-05-29 10:36     ` Ada++ Luke A. Guest
2020-05-30  1:35       ` Ada++ Rick Newbie
2020-05-29 11:09     ` Ada++ Björn Lundin
2020-05-29 12:31       ` Ada++ Nasser M. Abbasi
2020-05-29 21:57       ` Ada++ Optikos
2020-05-31 11:40         ` Ada++ Björn Lundin
2020-05-31 15:51           ` Ada++ J-P. Rosen
2020-05-30  1:36       ` Ada++ Rick Newbie
2020-05-29  3:45 ` Ada++ Optikos
2020-05-29 15:41   ` Optikos [this message]
2020-05-29  3:54 ` Ada++ cantanima.perry
2020-05-29 10:41   ` Ada++ Luke A. Guest
2020-05-29  4:17 ` Ada++ Wesley Pan
2020-05-29  4:38   ` Ada++ Nasser M. Abbasi
2020-05-29  6:06     ` Ada++ J-P. Rosen
2020-05-29  6:56       ` Ada++ Dmitry A. Kazakov
2020-05-29  7:22         ` Ada++ J-P. Rosen
2020-05-29  9:23       ` Ada++ fabien.chouteau
2020-05-29  9:43         ` Ada++ raph.amiard
2020-05-29 10:27           ` Ada++ Jeffrey R. Carter
2020-05-29 11:00             ` Ada++ Dmitry A. Kazakov
2020-05-29 20:57           ` Ada++ J-P. Rosen
2020-06-13  9:40       ` Ada++ Nasser M. Abbasi
2020-06-13 10:03         ` Ada++ gautier_niouzes
2020-06-13 10:11           ` Ada++ Nasser M. Abbasi
2020-06-13 10:07         ` Ada++ Dmitry A. Kazakov
2020-06-14  5:29         ` Ada++ J-P. Rosen
2020-05-30 15:25 ` Ada++ ric.wai88
2020-05-30 17:02   ` Ada++ Stéphane Rivière
2020-05-30 20:56   ` Ada++ Optikos
2020-05-30 21:58     ` Ada++ ric.wai88
2020-06-05 22:37       ` Ada++ Randy Brukardt
  -- strict thread matches above, loose matches on Subject: below --
2004-10-22 13:22 Ada# fabio de francesco
2004-10-22 13:36 ` Ada# Marc A. Criley
     [not found] <200203220829.JAA11725@bulgaria.otn.eurocopter.de>
2002-03-22 15:55 ` Ada? sk
2002-03-22  8:29 Ada? Christoph Grein
2002-03-22 14:57 ` Ada? Ted Dennison
2002-03-22 15:34   ` Ada? Jean-Pierre Rosen
     [not found] <200203220654.HAA11171@bulgaria.otn.eurocopter.de>
2002-03-22  7:58 ` Ada? sk
     [not found] ` <3C9AE426.471865A1@myob.com>
2002-03-22  8:05   ` Ada? sk
2002-03-22  6:54 Ada? Christoph Grein
2002-02-19 21:21 Ada? anymous
2002-02-19 22:02 ` Ada? chris.danx
2002-02-19 23:38 ` Ada? Larry Kilgallen
2002-02-24  3:23 ` Ada? Nick Roberts
2002-02-24 15:09   ` Ada? Georg Bauhaus
2002-02-27 15:26   ` Ada? Enrico A.
2002-03-19 15:06     ` Ada? Colin Paul Gloster
2002-03-19 20:57       ` Ada? Ted Dennison
2002-03-19 22:00         ` Ada? Dan Andreatta
2002-03-19 23:45           ` Ada? Larry Kilgallen
2002-03-20 14:26           ` Ada? Ted Dennison
     [not found]             ` <3C98E9CC.45D733F2@west.raytheon.com>
2002-03-21  9:39               ` Ada? Preben Randhol
2002-03-20  2:08         ` Ada? Adrian Hoe
2002-03-20 17:39           ` Ada? Marin David Condic
2002-03-22  1:56             ` Ada? Adrian Hoe
2002-03-22  2:34               ` Ada? Richard Riehle
2002-03-20  1:41     ` Ada? Adrian Hoe
2002-03-20  2:34       ` Ada? DPH
2002-03-20 10:52       ` Ada? Reinert Korsnes
2002-03-20 13:32       ` Ada? Gary Scott
2002-02-27 21:37 ` Ada? Ken Pinard
replies disabled

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