Exam 8: Data Types

The most general type possible for a polymorphic function with a given implementation is called its ____ type.

Static type information allows compilers to allocate memory efficiently.

If information is maintained and checked at runtime,the checking is ____.

Static type checking occurs at runtime.

Ada is a language with no explicit types.

In C,the Cartesian product type constructor is available as the ____ construction.

A union is considered to be discriminated if a tag is added to the union to distinguish the type of the element.

In C,types that are constructed using type constructors are called derived types.

A reference is the address of an object under control of the system,which cannot be used as a value or operated on in any way.

Each type descriptor includes a field called a type form to identify the category of the data type.

In Ada,simple data types are called scalar types.

Explicit conversions are often referred to as ____.

Hindley-Milner type checking assigns type variables to all unnamed types.

A data type is a(n)____.

For multidimensional arrays,the column-major form of allocation can be used only if all array indices must be specified together.

When a structured type is cast,the translation merely ____ the memory as a different type.

Type declaration is the process of ____.

The type system is the naming convention for data types.

Explicit typing can be used to remove ambiguities in programs.

Subset types inherit operations from their parent types.