Hi, Sorry to step in but I find this conversation very interesting :-)
I don’t know much about ADA and would like to know a bit more, especially now that I see it could be a viable alternative to rust. I am not too keen on rust, on the other hand I like the idea of doing system programming with memory safety across multiple cores. Is there any comparison of ADA and rust that I can read about? Thanks, A > On 19 Apr 2021, at 22:18, Greg Reagle <grea...@fastmail.fm> 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? >
