static typing

Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Programming, Sciences A system in which typechecking is performed during compilation and not at run time, opposed to dynamic typing.