From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,FREEMAIL_FROM,
	T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
X-Received: by 2002:a05:6000:1686:b0:21b:9870:47b with SMTP id y6-20020a056000168600b0021b9870047bmr8811331wrd.687.1656604096479;
        Thu, 30 Jun 2022 08:48:16 -0700 (PDT)
X-Received: by 2002:a81:57d2:0:b0:317:81b3:2460 with SMTP id
 l201-20020a8157d2000000b0031781b32460mr11776610ywb.493.1656604095860; Thu, 30
 Jun 2022 08:48:15 -0700 (PDT)
Path: eternal-september.org!reader01.eternal-september.org!news.mixmin.net!proxad.net!feeder1-2.proxad.net!209.85.128.87.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 30 Jun 2022 08:48:15 -0700 (PDT)
In-Reply-To: <t9ju0h$1s8aa$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=149.90.69.202; posting-account=3cDqWgoAAAAZXc8D3pDqwa77IryJ2nnY
NNTP-Posting-Host: 149.90.69.202
References: <t8ml0l$1vo2$1@gioia.aioe.org> <t8qptm$gof$2@dont-email.me>
 <t8qrmo$p79$1@gioia.aioe.org> <t8tk6i$ue6$1@dont-email.me>
 <t8ulu9$jca$1@gioia.aioe.org> <t90ebe$nve$1@dont-email.me>
 <t91buq$10im$1@gioia.aioe.org> <t933oh$o2o$1@dont-email.me>
 <t93mr6$pvm$1@gioia.aioe.org> <t95uha$edq$1@dont-email.me>
 <t96i9f$1mc1$1@gioia.aioe.org> <t9d7u5$ogle$1@dont-email.me>
 <jhviamFe72sU1@mid.individual.net> <t9gir4$1bbuh$1@dont-email.me>
 <t9h2is$1ckn5$1@dont-email.me> <ji2q1nFu6qeU1@mid.individual.net>
 <t9jbfm$1n6pp$1@dont-email.me> <t9ju0h$1s8aa$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <ee2bc81e-780f-40b6-ae8f-be2cb1bc939fn@googlegroups.com>
Subject: Re: New aggregates with Ada 2022.
From: Marius Amado-Alves <amado.alves@gmail.com>
Injection-Date: Thu, 30 Jun 2022 15:48:16 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader01.eternal-september.org comp.lang.ada:64062
List-Id: <comp.lang.ada>

> My thinking along these lines I call King and have described informally at 
> https://github.com/jrcarter/King. Taft's seems to be Parasail (and now 
> Paradiso). Guest has orenda at https://github.com/Lucretia/orenda. Do you have 
> any sort of description or specification of your "post-Ada language"? I would be 
> interested in seeing that or learning more about it. 
> -- 
> Jeff Carter 

Wow, I wasn't aware there were so many "post-Ada" thinking! We should make an workshop, maybe at Ada-Europe.

Jeff, great document (and great name:-) My impression is that it is maybe too much Adaist... except that modules don't have state?! That sounds very limiting to me.