Ariane 5 Flight 501. In practical terms, better testing would've saved it, not better type safety. The rest of the sales pitch doesn't require type safety, al

Ariane 5 Flight 501. In practical terms, better testing would've saved it, not better type safety. The rest of the sales pitch doesn't require type safety, although I appreciate that a rather nice piece of software is being shared here. Type safety obsession reeks of cargo cult to me, but that's not exclusive with well-made software.