Haskell should not be a political weapon.
A curious choice of words:
…if only they had used Erlang :-b
Correct: that was my intended interpretation. As for that other interpretation:
…here’s some suggested reading:
>_< …software in space.
I completely forgot about that one: software engineering has existed since (at least) the first (re)programmable computer was sent into space. So plenty of mathematical and logical checks needed for that software, to prevent extremely inaccessible hardware from going very astray…