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