Functional programming at nuclear plants?

Question

After reading this question , I just wondered if it would be a good idea to use Haskell (or other functional programming languages) in critical industries.

In addition to Erlang, most languages ​​adhered to the imperative / design paradigm for a contract (Ada, Eiffel, C ++).

But what about the functional ones?

The resulting code will be easily maintained, stable, and many errors can be eliminated by their strict types of systems during compilation. Or is lazy appreciation more dangerous than helpful? Are there other security flaws?

Answer 1

I think you can. The language seems well suited for such situations if you trust the compiler to use it in a critical situation.

Remember that in critical situations, not only your code is under close attention, but also all other components. This includes the compiler (the Haskell compiler is not one of the easiest code to verify), the corresponding certified hardware that runs the software, the appropriate hardware that compiles your code, the hardware that downloads the compiler, which will compile your code that connect all with a grid and the frequency of the voltage in the socket.

If you are interested in learning critical software quality, I suggest looking at NASA software quality procedures . They are very strict and formal, but these guys throw millions of dollars in space, hoping that he will survive in rather difficult conditions and go to Mars or anywhere, and then he works autonomously and sends beautiful photos of Martians to the earth.

So you go: Haskell is good for mission critical situations, but it would be an expensive process to load using it there.