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.szaf.org!news.enyo.de!.POSTED!not-for-mail
From: Florian Weimer <fw@deneb.enyo.de>
Newsgroups: comp.lang.ada
Subject: Re: Intervention needed?
Date: Fri, 29 Mar 2019 18:38:08 +0100
Message-ID: <871s2plgxr.fsf@mid.deneb.enyo.de>
References: <b196da6e-4614-42f9-9147-b1708c6e5094@googlegroups.com>
	<c16f6c7d-34d9-4d7e-96e6-9c00e387b2a9@googlegroups.com>
	<q66m95$8ri$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: news.enyo.de;
	logging-data="4859"; mail-complaints-to="news@enyo.de"
Cancel-Lock: sha1:svUlNIflg1YFly/u8810nUc4vJQ=
Xref: reader01.eternal-september.org comp.lang.ada:55999
Date: 2019-03-29T18:38:08+01:00
List-Id: <comp.lang.ada>

* Jeffrey R. Carter:

> On 3/11/19 4:34 PM, Lucretia wrote:
>  > On Friday, 8 March 2019 16:43:50 UTC, Olivier Henley  wrote:
>  >> Maybe someone with all the proper ammunitions could enlighten this user:
>  >>
>  >> https://users.rust-lang.org/t/if-ada-is-already-very-safe-why-rust/21911/11
>  >
>  > Just tore them a new one :)
>
> As far as I can see, Rust's only innovation is safer pointers, but
> it still has a bad design that requires the use of pointers. In Ada,
> pointers are never needed.* So Ada is still safer when dealing with
> pointers, since you never need to.

This argument is not valid because Ada does not provide type safety,
even in the absence of pointers, pragmas, representation clauses, or
use of library facilities.

I think it's difficult to dismiss Rust's type system and claim that
Ada's approach is superior.  The arguments will look a lot like those
that programmers who prefer C to Ada bring forward.