I'm not arguing against hardware interlocks. I'm saying that's a weird example to pick of a case against type systems (eg, by asking how they'd have helped pre

I'm not arguing against hardware interlocks. I'm saying that's a weird example to pick of a case against type systems (eg, by asking how they'd have helped prevent that issue), since in that particular case, it actually sounds like a type system would have caught the software glitch that caused the issue.