Very nice introduction. For those interested in a modern language that has a strong type system as in Ada and it is also growing safety capabilities à la SPARK,

Very nice introduction. For those interested in a modern language that has a strong type system as in Ada and it is also growing safety capabilities à la SPARK, you might want to check out Nim. https://nim-lang.org/ https://nim-lang.org/ https://nim-lang.org/blog/2020/06/08/static-analysis.html https://nim-lang.org/blog/2020/06/08/static-analysis.html