Re: [dev] Ada not Rust

From: Alessandro Pistocchi <apukfreelance_AT_gmail.com>
Date: Tue, 20 Apr 2021 09:52:37 +0200

Hi,

Sorry to step in but I find this conversation very interesting :-)

I don’t know much about ADA and would like to know a bit more, especially
now that I see it could be a viable alternative to rust.

I am not too keen on rust, on the other hand I like the idea of doing system
programming with memory safety across multiple cores.

Is there any comparison of ADA and rust that I can read about?

Thanks,
A

> On 19 Apr 2021, at 22:18, Greg Reagle <greagle_AT_fastmail.fm> wrote:
>
> On Sat, Apr 17, 2021, at 11:57, Laslo Hunhold wrote:
>> Anyway, I can't say it enough: Check out Ada 2012 (and the SPARK
>> subset) if you care about "secure" languages. It's not as lean as C, but
>> you end up solving so many problems with it, especially in regard to
>> software engineering and safety.
>
> Okay, I did. Very interesting. I briefly studied Ada many years ago. Do you think that Ada is a viable alternative to Rust? Do you think it is a decent alternative to C for things like operating systems or utilities like sbase or ubase?
>
> I made a Hello World program in Ada. Very fast and small. However, it depends on libgnat-8.so.1. Is there a way to build it so that it does not? Like statically linked?
>
Received on Tue Apr 20 2021 - 09:52:37 CEST