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?
