| > What actually prevents bugs at scale is boring stuff: type systems...

| Nonsense. The most widely-deployed software with the lowest bug-count is written in C. Type systems could not have done anything to improve that.

C is statically and fairly strongly typed. Hard to tell if you're arguing for or against the statement you're responding to.