Deck 8: Data Types

Question 1

All data types must be named.

Answer 1

False

Question 2

Ada has a completely safe union mechanism,called a variant record.

Answer 2

True

Question 3

Ada is a language with no explicit types.

Answer 3

False

Question 4

Subset types inherit operations from their parent types.

Question 5

Enumerated types are never ordered.

Question 6

Java does not allow dynamically sized arrays.

Question 7

All computer data is finite.

Question 8

Every language comes with a set of predefined types from which all other types are constructed.

Question 9

In Ada,simple data types are called scalar types.

Question 10

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

Question 11

Polymorphism allows names to have multiple types but does not allow for static type checking.

Question 12

Static type information allows compilers to allocate memory efficiently.

Question 13

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

Question 14

In a strongly typed programming language,the set of legal programs is a proper subset of the set of safe programs.

Question 15

Pointers are often used in the creation of recursive types.

Question 16

Explicit typing can be used to remove ambiguities in programs.

Question 17

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

Question 18

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.

Question 19

In C/C++,multidimensional array declarations must have all but the first dimension specified.

Question 20

The type system is the naming convention for data types.

Question 21

In Java,types constructed using type constructors are called ____ types.

A) reference
B) simple
C) primitive
D) integral

Question 22

Casts are permitted on structured types if they have identical sizes in memory.

Question 23

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

Question 24

The process a translator goes through to determine whether the type information in a program is consistent is called type ____.

A) inference
B) constructing
C) equivalence
D) checking

Question 25

To create a new data type that contains a subset of a known data type,the ____ mechanism is used.

A) subtype
B) anonymous union
C) intersection
D) product

Question 26

A narrowing conversion is an implicit conversion that may result in loss of data.

Question 27

A data type is a(n)____.

A) encoding form
B) set of values
C) style of storage
D) group of locations in memory

Question 28

Type ____ algorithms determine if two separately declared types are the same.

A) inference
B) equivalence
C) comparison
D) enforcing

Question 29

____ types have no name.

A) Generic
B) Anonymous
C) Variable
D) User-defined

Question 30

Type ____ are used to construct complex types from basic types.

A) constructors
B) assemblers
C) checkers
D) combiners

Question 31

Static type checking occurs at runtime.

Question 32

____ types are sets whose elements are named and listed explicitly.

A) List
B) Array
C) Enumerated
D) Simple

Question 33

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

A) structure
B) set
C) array
D) enumerator

Question 34

Type declaration is the process of ____.

A) inferring new data types
B) creating type constructors
C) naming new data types
D) associating data types to identifiers

Question 35

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

Question 36

The process of attaching types to expressions is called type ____.

A) construction
B) inference
C) equivalence
D) checking

Question 37

Languages without static type systems are usually called ____ languages.

A) reverse typed
B) untyped
C) weakly typed
D) strongly typed

Question 38

To obtain the value of a location in memory referenced by a pointer,the pointer must be ____.

A) dereferenced
B) linked
C) evaluated
D) retrieved

Question 39

A(n)____ type uses itself in its declaration.

A) bootstrap
B) recursive
C) reference
D) enumerated

Question 40

Which of the following languages has no explicit types or translation-time typing?

A) Ada
B) Java
C) C++
D) Scheme

Question 41

Ordinal data types in Ada are called ____ types.

A) simple
B) scalar
C) composite
D) discrete

Question 42

If a type must be inferred by the translator,it is considered to be a(n)____ type.

A) explicit
B) strong
C) implicit
D) weak

Question 43

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

A) dynamic
B) static
C) referential
D) inferential

Question 44

The primary data structure used to represent type attributes is called a type ____.

A) definer
B) descriptor
C) constructor
D) enumerator

Question 45

Implicit conversions are often referred to as ____.

A) type leaps
B) symbolic conversions
C) interpretive conversions
D) coercions

Question 46

Explicit conversions are often referred to as ____.

A) casts
B) coercions
C) narrowing conversions
D) widening conversions

Question 47

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

A) reallocates
B) references
C) reinterprets
D) realigns

Question 48

____ is a term used for the type correctness of assignments.

A) Assignment linking
B) Value assignment
C) Assignment compatibility
D) Backwards compatibility

Question 49

____ equivalence in type checking is when two objects are built in the same way using the same type constructors from the same simple types.

A) Referential
B) Simple
C) Constructor
D) Structural

Question 50

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

A) general
B) base
C) principal
D) specialized