Recursive data type

From Wiki @ Karl Jones dot com
Jump to: navigation, search

In computer programming languages, a recursive data type (also known as a recursively-defined, inductively-defined, or inductive data type) is a data type for values that may contain other values of the same type. See Recursion (computer science).

Description

Data of recursive types are usually viewed as directed graphs.

An important application of recursion in computer science is in defining dynamic data structures such as lists and trees.

Recursive data structures can dynamically grow to a theoretically infinite size in response to runtime requirements; in contrast, a static array's size requirements must be set at compile time.

Sometimes the term "inductive data type" is used for algebraic data types which are not necessarily recursive.

See also

External links