Type scheme
A typing of an expression which may include type variables. E.g.
\ x . x :: a -> a
where a is a generic type variable which may be instantiated to any type.
(1994-10-31)
Read Also:
- Typescript
noun 1. a typewritten copy of a literary composition, document, or the like, especially as prepared for a printer. 2. typewritten matter, as distinguished from handwritten or printed matter. noun 1. a typed copy of a document, literary script, etc 2. any typewritten material
- Type-section
noun, Geology. 1. the sequence of strata referred to in establishing a stratigraphic unit, as a member or formation.
- Typeset
verb (used with object), typeset, typesetting. 1. to set (textual matter) in type. adjective 2. (of written, textual matter) set in type. verb -sets, -setting, -set 1. (transitive) (printing) to set (textual matter) in type
- Typesetter
noun 1. a person who sets or composes type; compositor. 2. a typesetting machine. noun 1. a person who sets type; compositor 2. a typesetting machine
- Typesetting
noun 1. the process or action of setting, type. adjective 2. used or intended for setting, type. verb (used with object), typeset, typesetting. 1. to set (textual matter) in type. adjective 2. (of written, textual matter) set in type. verb -sets, -setting, -set 1. (transitive) (printing) to set (textual matter) in type