Ensuring correctness through the type system

Typing is something many developers take for granted, and many see it as a nuisance rather than a valuable skill. I have opinions.