A type checker for a statically typed language must verify that the type of any expression is consistent with the type expected by the context in which that expression appears.
Typová kontrola pro staticky typovaný jazyk musí ověřit, že typ jakéhokoli výrazu je v souladu s očekávaným typem v kontextu, ve kterém se tento výraz zobrazí.