...`is awesome <[https://nim-lang.org/blog/2020/06/08/static-analysis.html>`_](https://nim-lang.org/blog/2020/06/08/static-analysis.html>`_).
I'm not sure I agree that a version of Nim with complete static analysis would be easier than Ada, though. My understanding is that one of the things that makes Ada hard is precisely its very tight static analysis. (Sorry if someone already mentioned it; I didn't see a post.)
