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 X-Received: by 2002:a24:fe09:: with SMTP id w9-v6mr4657641ith.36.1528146361791; Mon, 04 Jun 2018 14:06:01 -0700 (PDT) X-Received: by 2002:a9d:4c96:: with SMTP id m22-v6mr129355otf.6.1528146361687; Mon, 04 Jun 2018 14:06:01 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!1.eu.feeder.erje.net!newsreader5.netcologne.de!news.netcologne.de!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer02.am4!peer.am4.highwinds-media.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!v8-v6no187020itc.0!news-out.google.com!f20-v6ni227itd.0!nntp.google.com!v8-v6no187010itc.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Mon, 4 Jun 2018 14:06:01 -0700 (PDT) In-Reply-To: <99265780.549610525.231930.laguest-archeia.com@nntp.aioe.org> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=47.185.233.194; posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo NNTP-Posting-Host: 47.185.233.194 References: <5e86db65-84b9-4b5b-9aea-427a658b5ae7@googlegroups.com> <99265780.549610525.231930.laguest-archeia.com@nntp.aioe.org> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Ada Successor Language From: "Dan'l Miller" Injection-Date: Mon, 04 Jun 2018 21:06:01 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 2626 X-Received-Body-CRC: 2671391848 Xref: reader02.eternal-september.org comp.lang.ada:52929 Date: 2018-06-04T14:06:01-07:00 List-Id: On Saturday, June 2, 2018 at 1:52:13 AM UTC-5, Luke A. Guest wrote: > Shark8 <> wrote: >=20 > >=20 > > (1) The Meta language > > (2) The Generic Language > > (3) The Concurrent/Parallelism language > > (4) The Proving language [SPARK] > > (5) The HW/Representation language > >=20 > > ---------- > > Your thoughts? > >=20 >=20 > There=E2=80=99s a guy, eLucian, wanting to implement his own language bec= ause Ada > is too complex, his is level, where he has defined 5 compilers all writte= n > in different languages with different capabilities. 5 compilers, written in 5 different languages is a mess. The Level logo is= an eye-catching design though. Conversely, Shark8's Meta-language is analogous to what I call hypoAda: th= e rudimentary Ada-esque language constructs in which Ada8652 (or variants t= hereof) could be written as a library of sorts (or perhaps a plug-in DLL to= the compiler). These rudimentary language constructs would be somewhat li= ke what Seed7 does and very much as William Wulf's & Mary Shaw's Alphard pa= rtially explored during the 1970s. Imagine Seed7 not being a subset of Ada's type-declaration language. Then = Seed7 would be a start on hypoAda or what, I think, Shark8 calls The Meta-l= anguage.