Recursive data type

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

• Algebraic data type
• Directed graph
• List (computer science)
• Node (computer science)
• Recursion (computer science)
• Recursive definition
• Tree (computing)

External links

• Recursive data type @ Wikipedia.org