News for hackers. Stuff that matters.
Re:“Mostly functional” programming does not work (2014) by coldtea on Monday June 22, 2015 @06:15PM (#9761558)
Perfectly safe systems like planes, missiles, space missions etc. are 99% done in imperative languages such as C and Ada.

Not Haskell and not even Lisp.

The last thing you want from a perfectly safe system is some lazyness smartness in the compiler hitting at the wrong time and affecting execution time, memory use etc, or things like GC pauses.

Re:“Mostly functional” programming does not work (2014) by sacado2 on Tuesday June 23, 2015 @10:22AM (#9764788)
Yes. My comment was not clear, I don't associate "perfect safety" with functional purity. Quite the opposite actually, for the reasons you gave.