"Dynamically typed" doesn't mean "refuses to give any type errors, ever".