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. Data of recursive types are usually viewed as directed graphs. Sometimes the term "inductive data type" is used for algebraic data types which are not necessarily recursive.

PropertyValue
dbpprop:abstract
  • 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. Data of recursive types are usually viewed as directed graphs. Sometimes the term "inductive data type" is used for algebraic data types which are not necessarily recursive.
  • 再帰データ型または再帰型（Recursive Type）とは、プログラミング言語におけるデータ型の一種であり、同型の複数の値を含む構造になっているデータ型を指す。
  • Em ciência da computação, um tipo recursivo é um tipo de dado para valores que podem conter outros valores do mesmo tipo. Um exemplo é uma lista em Haskell: data List a = Nil | Cons a (List a) Isso indica que uma lista de a ou é uma lista vazia ou um elemento a (a cabeça da lista) seguido de uma lista de a (a cauda da lista).
  • 在计算机编程语言中，递归类型是一种特殊的数据类型，它表示自身内部可能包含其它的同样类型的值。 一个列子是链表类型，在Haskell中： data List a = Nil | Cons a (List a) 这表示a的链表s可以是一个空表或一个cons单元包含了一个'a'（链表的“头”）和另一个链表（“尾”）。 递归不允许在Miranda语言中和Haskell的同义类型中出现，所以以下的Haskell类型是非法的： type Bad = (Int, Bad) type Evil = Bool -> Evil 相反地，表面上是相等的代数数据类型却是可以的： data Good = Pair Int Good data Fine = Fun (Bool->Fine)
rdfs:comment
  • 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. Data of recursive types are usually viewed as directed graphs. Sometimes the term "inductive data type" is used for algebraic data types which are not necessarily recursive.
  • 再帰データ型または再帰型（Recursive Type）とは、プログラミング言語におけるデータ型の一種であり、同型の複数の値を含む構造になっているデータ型を指す。
  • Em ciência da computação, um tipo recursivo é um tipo de dado para valores que podem conter outros valores do mesmo tipo. Um exemplo é uma lista em Haskell: data List a = Nil | Cons a (List a) Isso indica que uma lista de a ou é uma lista vazia ou um elemento a (a cabeça da lista) seguido de uma lista de a (a cauda da lista).
rdfs:label
  • Recursive data type
  • 再帰データ型
  • Tipo recursivo
  • 递归类型
skos:subject
foaf:page
is dbpprop:redirect of