Type assignment
theory
A mapping of the free variables of some expression E to types. This is used in type inference to deduce the type of E and its subexpressions.
(2002-02-22)
Read Also:
- Type-b
adjective, Psychology. 1. of or relating to a pattern of behavior characterized by an unhurried, patient, tolerant manner, an ability to relax easily, and amiability, and possibly associated with a decreased risk of heart disease. 2. of or relating to a person who exhibits Type B behavior.
- Typebar
noun 1. (on a typewriter or some computer printers) one of a series of thin metal bars containing type and actuated by the keyboard or computer signal. noun 1. one of the bars in a typewriter that carry the type and are operated by keys
- Typecase
noun 1. a compartmental tray for storing printer’s type
- Typecast
verb (used with object), typecast, typecasting. Theater. 1. to cast (a performer) in a role that requires characteristics of physique, manner, personality, etc., similar to those possessed by the performer. 2. to cast (a performer) repeatedly in a kind of role closely patterned after that of the actor’s previous successes. 3. to stereotype: He realizes […]
- Type-cast
verb (used with or without object), type-cast, type-casting. 1. to cast (type). adjective 2. (of text to be printed) having the type already cast.