> It feels really good to see a program compile without warnings or errors. You then know that you got it right. I don't know about that. So many C/C++ progra

> It feels really good to see a program compile without warnings or errors. You then know that you got it right. I don't know about that. So many C/C++ programs have core dumped in my life and needed to be valgrinded to debug memory issues, or went past the bounds of a pointer, or overwrote the stack, or... whatever. And you still don't get correctness without unit tests. I'm not saying types aren't valuable, but they're not a crutch to program correctness like people seem to think they are.