> It has become a point of doctrine among many programmers that the best way to prevent application bugs is strict type enforcement. But I find no evidence in s

> It has become a point of doctrine among many programmers that the best way to prevent application bugs is strict type enforcement. But I find no evidence in support of this. I am a fan of the SQLite authors for pioneering heavy-duty engineering, but this, like their hatred of threads [1], does not sound good to me and really puts me off. It also sounds like a cop out; sure, they may not have found evidence, but did they really look? Personally, with the success of Rust, TypeScript, and other stricter languages, and the fact that TDD seems to be about recreating the advantages of static typing for dynamically-typed languages, I think there is plenty of evidence. Of course, "best" is doing a lot of the heavy lifting in the quote above, so I would define "best" as removing the most bugs per unit of effort. Static typing seems to fit that bill. [1]: https://sqlite.org/faq.html#q6 https://sqlite.org/faq.html#q6