Re: [dev] Ada not Rust

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

On Mon, 19 Apr 2021 16:19:18 -0400
Greg Reagle <list_AT_speedpost.net> 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?
>

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