Re: [dev] Ada not Rust

From: Mattias Andrée <>
Date: Mon, 19 Apr 2021 22:36:42 +0200

On Mon, 19 Apr 2021 16:19:18 -0400
Greg Reagle <> 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 Is there a way to build it so that it does not? Like statically linked?

For me, libgnat is only dynamically linked if I run gnatbind
with -shared, but if you -static it should be statically linked.

I cannot find how to statically link the C runtime.
Received on Mon Apr 19 2021 - 22:36:42 CEST

This archive was generated by hypermail 2.3.0 : Mon Apr 19 2021 - 22:48:09 CEST