Type checking at runtime allows for runtime data contracts. There are a lot of benefits to that, largely in being able to enforce stronger boundaries in your co

Type checking at runtime allows for runtime data contracts. There are a lot of benefits to that, largely in being able to enforce stronger boundaries in your code. Strong boundaries allow for potentially better code reuse, fewer bugs, and a more confident style. Once you setup a type or validation boundary, you know that you no longer need to check for type errors and so forth elsewhere in the code, if only for the fact that the code will blow up before it even gets there. That means you write less code, have fewer bugs, and can spend more time doing important things, like playing Quake 2.