Wednesday, April 2, 2008
Type system
A type system defines how a programming language classifies values and expressions into types, how it can manipulate those types and how they interact. This generally includes a description of the data structures that can be constructed in the language. The design and study of type systems using formal mathematics is known as type theory.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment