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 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.linkpendium.com!news.linkpendium.com!news.snarked.org!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!nntp.earthlink.com!news.earthlink.com.POSTED!not-for-mail NNTP-Posting-Date: Wed, 24 Jan 2018 12:44:40 -0600 From: Dennis Lee Bieber Newsgroups: comp.lang.ada Subject: Re: Five Years After Date: Wed, 24 Jan 2018 13:44:41 -0500 Organization: IISS Elusive Unicorn Message-ID: <5vkh6d1rrp4c6hpcimgronilj6l4c2p3or@4ax.com> References: <942235344.537649945.074508.laguest-archeia.com@nntp.aioe.org> <288039467.538377555.666858.laguest-archeia.com@nntp.aioe.org> User-Agent: ForteAgent/8.00.32.1272 X-No-Archive: YES MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Usenet-Provider: http://www.giganews.com NNTP-Posting-Host: 108.73.118.61 X-Trace: sv3-aJxh97Lct2iE75i4GeHpJzuVwbSyvsHfyD4yC7LW8ZVWc5SqSQmBIjzZS4tFUJg+H7MB8xmB26FBLGn!SBVePgIMK4SDjFd/1c+1sZWL9bxmov5OM9svhn5cdwZBiB6RT0MiOXh+ICnMA51D/6T7WkLK47lj!xycUptnsetJrqZglW3Z2JiWFFkw= X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.40 X-Original-Bytes: 1764 Xref: reader02.eternal-september.org comp.lang.ada:50115 Date: 2018-01-24T13:44:41-05:00 List-Id: On Wed, 24 Jan 2018 18:55:21 +0100, "Jeffrey R. Carter" declaimed the following: >On 01/24/2018 02:50 PM, Simon Clubley wrote: >> >> Going the other way, a subset of Ada might be useful as well. > >We shouldn't call it Ada, though. Maybe Stainless (better than Rust). Too close to Steelman? -- Wulfraed Dennis Lee Bieber AF6VN wlfraed@ix.netcom.com HTTP://wlfraed.home.netcom.com/