Discussion on: How I intend to become a better software developer

[Blaine Osepchuk]

Thanks.

There are different ways to think about safety. Languages that have automatic bounds checking for example are safer than those without (Java vs C).

Another aspect is whether the language can be proven formally. SPARK is one example and I believe I read that several of the functional languages (or subsets of them) are formally provable.

I read an article that said that Airbus is experimenting with model-driven development for critical systems because making sure that even Ada was correct was too difficult and costly. So, they just want to build a model and have software convert it into correct source code. Obviously that's a very specialized use case that's unlikely to gain widespread use in the near future.

Here's a link to AdaCore's product that might be similar to what Airbus is doing (code generation tools are over my head): adacore.com/qgen