type system

(redirected from Typechecker)

type system

The rules that apply to the data types in a programming language. Every language supports some number of data types (binary, text string, floating point, etc.) that are processed by the instructions. Type checking verifies that the operations performed on the data are correct; for example, a text string cannot be multiplied. Static type checking looks at the source code, while dynamic type checking works at runtime. Both methods are used to verify the proper operation of the program with regard to how instructions operate on the data. See data type and polymorphic typing.
References in periodicals archive ?
Our measurements of ML programs (presented in the appendix) showed that type arguments to polymorphic functions are inferred by the ML typechecker on at least one line in every three, in typical programs.
We introduce a straightforward refinement of the internal language typing relation in which the typechecker operates two distinct modes: synthesis mode, where typing information is propagated upward from subexpressions, and checking mode, where information is propagated downward from enclosing expressions.
However, this would introduce some nondeterminism in the typing of expressions and require backtracking in the typechecker implementation.
48 secs (12024 ticks@20ms) total alloc = 619,779,088 bytes 51,846,277 closures COST CENTER scc %time %alloc inner TypeChecker 1 45.