On: Type checking is a symptom, not a solution

[jameson]

Right. Also same rationale goes to compile time vs runtime time checks -- catching type bugs before the program is executed