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

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Grand Prix

... dumped 2003-03-17 with ...

 
 
 
This page was created in 21.5 ms