[dev] Ada not Rust

From: Greg Reagle <list_AT_speedpost.net>
Date: Mon, 19 Apr 2021 16:19:18 -0400

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 Mon Apr 19 2021 - 22:19:18 CEST