We need an RMS, a Linus, or Tridge or Alan or ...

We need an RMS, a Linus, or Tridge or Alan or ...

I wish I could say that people would use saner languages like Python and Perl for most of their work

However nice those language are (well, Python is anyway), their semantics and dynamic nature make them extremely difficult to statically check, compared to C.

The ultimate language for static-checkability is of course SPARK (see this Slashdot article), which allows you to prove the absence of run-time errors in your program relatively easily and lets you go all the way up to full formal proof of correctness should you so desire (disclaimer: I work for Praxis; the submitter of that article, as far as I know, has no links with the company).

Note: you can avoid this step in the future by logging into your LWN account.