[msangi]

Why not?

I think it's fair to assume that programmers starts the compilation either when they believe their code is correct or when they do want to get an "hint" from the compiler.

Either way, they get a valuable feedback from the compiler and that happens multiple times per day.

[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.