Thus, many languages will have both static and dynamic type checking; the static type checker verifies what it can, and dynamic checks verify the rest.
Због тога, многи језици ће имати и статичку и динамичку проверу куцања; статички контролор куцања проверава шта може, и динамички провера остатак.