What is type checking?

Answer 1

In short, typing allows you to have code that makes certain guarantees. It eliminates whole classes of bugs from the realm of possibility at compile time. It is also more efficient, in terms of both space and, especially, time.