> Now the question is: are the static verification methods you're using (null-checking, type-checking, range-checking, what-have-you) worth the effort it takes

> Now the question is: are the static verification methods you're using (null-checking, type-checking, range-checking, what-have-you) worth the effort it takes to apply them over time? Yes! > And if you say yes, do you believe they are so worth it that they should be applied across your codebase always, without discretion? Oh god yes! Simple Hindley-Milner typing is so cheap to use it's almost free! > Most static programming languages force you (or make it hard for you not) to do this verification across the board. Well, not really. In Haskell, for better or for worse, you can still use `fromJust` even if it is considered rather naughty.