type system

(redirected from Type systems)

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.
Copyright © 1981-2019 by The Computer Language Company Inc. All Rights reserved. THIS DEFINITION IS FOR PERSONAL USE ONLY. All other reproduction is strictly prohibited without permission from the publisher.
References in periodicals archive ?
(In the application that led to this example, objects were needed to represent the system, not because we wanted to write an object-oriented specification.) We cannot expect to find type systems ready-made for each new concept--let alone for combinations of them.
This system has been developed in cooperation with Professor Donald Michie, an authority in Al and induction type systems and chief scientist at The Turing Institute/Glasgow.
They are available as transportable laboratory type systems from 10 to 50 gpm, and as skid mounted systems from 60 to 1,200 gpm.
Additional Key Words and Phrases: Flow analysis, type systems
"The economies of smaller batch type systems are just beginning to be realized," says Crafton.
The liquid injection machines they found on the market at that time were all industry prevalent barrel screw type systems that were not well suited to deliver extremely low viscosity silicone materials accurately through the injection system.
P expresses the order in which P uses channels for communicating with external processes, our type system gives a better specification of processes than do previous type systems, which typically only specify which type of values are transmitted via each channel.
Static type systems such as the Hindley-Milner [Hindley 1969; Milner 1978] type discipline can infer types for programs lacking explicit type annotations.
Chapters move from principles of detection and transduction to various types of chemical probes to the cutting edge of nanosensing and complex lab-on-a-chip type systems. Roughly the last half of the book discusses use of biosensor systems in detection of drug residues, air pollutants, pathogens, antioxidants, fermentation products, and more.