(programming) Enforcement of type rules at compile time rather than at run time. Static typing catches more errors at compile time than dynamic typing.
Last updated: 2004-07-20
Updated: Mon Feb 20 19:06:42 2017
No longer supported by Imperial
College Department of Computing
Copyright Denis Howe 1985