Comment by brandonbloom

> usually work correctly after they compile

I still don't buy in to this trope.

Q: What is true of every single bug in production?

A: It passed both your type checker and your tests.