Home
Random
Log in
Settings
Donations
About Wiktionary
Disclaimers
Search
typechecking
Language
Watch
Edit
Contents
1
English
1.1
Etymology
1.2
Noun
1.2.1
Related terms
1.2.2
See also
English
edit
Etymology
edit
type
+
checking
Noun
edit
typechecking
(
uncountable
)
(
computing
)
The process of
verifying
whether a given
value
belongs to a certain
data type
.
Related terms
edit
typechecker
See also
edit
type system
type theory
Categories
:
English compound terms
English lemmas
English nouns
English uncountable nouns
en:Computing