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!.POSTED!not-for-mail From: "Jeffrey R. Carter" Newsgroups: comp.lang.ada Subject: Re: Intervention needed? Date: Mon, 11 Mar 2019 23:08:34 +0100 Organization: Also freenews.netfront.net; news.tornevall.net; news.eternal-september.org Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Mon, 11 Mar 2019 22:08:37 -0000 (UTC) Injection-Info: reader02.eternal-september.org; posting-host="76ebaf2aa0030a2d009f3b82f48ca701"; logging-data="9074"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+Cs8mOMlV9oflSmpxLCIuf6XkGqLDNRx8=" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.5.1 Cancel-Lock: sha1:5qd40o/ozrrzAkRlg7NDZaLj5DU= In-Reply-To: Content-Language: en-US Xref: reader01.eternal-september.org comp.lang.ada:55842 Date: 2019-03-11T23:08:34+01:00 List-Id: 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. Other than that, Rust seems to be a typical C-family language with all the dangers that implies. So Ada is significantly safer there, too. *1st-order approximation. Probably 2nd and 3rd, too -- Jeff Carter "It's symbolic of his struggle against reality." Monty Python's Life of Brian 78