Search the Kids Internet
Encyclopedia > Type system
Article Content
Type system
A type system is a discipline of programming languages which deals with classifying values in a program into disjoint or non-disjoint sets.
See also type theory.
All Wikipedia text is available under the terms of the GNU Free Documentation License
|
Search Encyclopedia
|
Featured Article
|