I wouldn't really consider C that much of a statically typed language, with all the pointers and casting and low level stuff. Have a look at Haskell/ML/Ocaml if you really want to see a type system that will blow your mind :)
You can say that this is more of a first world developer problem but i am still an ammature (as you might have guessed) and i have started to kind of dislike typed languages. i like my space and freedom to put text or integer or float or blob or raw binary data in a variable. because mostly it all ends to string, everything can be a string, numbers, floats, characters all of them. so why not make devs life easy by making everything a string?
Because someone is paying for the code you write to do predictable things that they want.
Because in strongly typed languages the compiler is able to hunt down the most of the bugs for you in milliseconds. That's why haskell programmers suggest that if a haskell program compiles gracefully, you can assume is mostly correct and bug free.