[pkolaczk]

Static type systems sometimes refuse to compile otherwise valid code. Type error is compiler telling "I can't prove this code correct with regard to some class of problems I'm supposed to catch". It does not necessarily prove the code is incorrect and would fail at runtime.

Therefore a high number of type errors may also mean the type system is very strict and getting in the way very often.

BTW I prefer the type system to be a bit too strict rather than not catching obvious bugs and then having to struggle with a debugger.