[jameson]

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