| > 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

| > 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.