I like the way another comment handled the same concerns: https://news.ycombinator.com/item?id=24069315 https://news.ycombinator.com/item?id=24069315 They offe

I like the way another comment handled the same concerns: https://news.ycombinator.com/item?id=24069315 https://news.ycombinator.com/item?id=24069315 They offered some different questions, pointed out the issues with the line of inquiry, then restated the question under the question in a different way: >> "It's pretty unquestionable that some classes of bugs are eliminated at compile time. But whether it actually ends up mattering in the big scheme of things is another question." And that question is worth studying.