Inductive Data Type

Inductive data type may refer to:

  • Recursive data type, a data type for values that may contain other values of the same type. Data of recursive types are usually viewed as directed graphs
  • Algebraic data type, a datatype each of whose values is data from other datatypes wrapped in one of the constructors of the datatype
  • Inductive family, a family of inductive data types indexed by another type or value

Famous quotes containing the words data and/or type:

    This city is neither a jungle nor the moon.... In long shot: a cosmic smudge, a conglomerate of bleeding energies. Close up, it is a fairly legible printed circuit, a transistorized labyrinth of beastly tracks, a data bank for asthmatic voice-prints.
    Susan Sontag (b. 1933)

    The Republican form of government is the highest form of government; but because of this it requires the highest type of human nature—a type nowhere at present existing.
    Herbert Spencer (1820–1903)