Recursive data type (original) (raw)
En programmation informatique et théorie des types, un type récursif est un type de données dont la définition fait appel au type lui‐même, de façon récursive. Cela permet entre autres des structures de données qui contiennent des sous‐structures du même type. Cette notion s'applique naturellement dans l'étude des listes et des arbres.
| Property | Value |
|---|---|
| dbo: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. 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 an arbitrarily large 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. (en) En programmation informatique et théorie des types, un type récursif est un type de données dont la définition fait appel au type lui‐même, de façon récursive. Cela permet entre autres des structures de données qui contiennent des sous‐structures du même type. Cette notion s'applique naturellement dans l'étude des listes et des arbres. (fr) 再帰型（英: recursive type）とは、型の定義中にそれ自身の型が出現するような再帰する型のこと。相互再帰により直接は現れないものもある。再帰データ型（英: recursive data type）とは、データ型における再帰型のこと。 (ja) 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). (pt) 在计算机编程语言中，递归类型（又名：递归定義、隱含類型或隱含定義）是一种特殊的数据类型，它表示自身内部可能包含其它的同样类型的值。 (zh) У комп'ютерних мовах програмування рекурсивний тип даних (також відомий як рекурсивно визначений, індуктивно визначений або індуктивний тип даних) — тип даних для значень, які можуть містити інші значення того самого типу. Дані рекурсивних типів зазвичай розглядаються як орієнтовані графи. Важливим застосуванням рекурсії в інформатиці є визначення динамічних структур даних, таких як списки та дерева. Рекурсивні структури даних можуть динамічно збільшуватися до довільно великого розміру у відповідь на вимоги до виконання; на відміну від цього, вимоги до розміру статичного масиву повинні бути встановлені під час компіляції. Іноді термін «індуктивний тип даних» використовується для алгебричних типів даних, які не обов'язково є рекурсивними. (uk) |
| dbo:wikiPageExternalLink | https://www.cs.cmu.edu/~rwh/introsml/core/datatypes.htm |
| dbo:wikiPageID | 2227485 (xsd:integer) |
| dbo:wikiPageLength | 8175 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1100271366 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Peano_arithmetic dbr:Node_(computer_science) dbr:Standard_ML dbr:Sum_type dbr:Mutual_recursion dbr:Tree_(data_structure) dbr:TypeScript dbr:Type_theory dbr:Algebraic_data_type dbc:Data_types dbr:Data_type dbr:Directed_graph dbr:Isomorphism dbr:Recursive_definition dbr:Haskell_(programming_language) dbr:Inverse_function dbc:Type_theory dbr:Inductive_type dbr:OCaml dbr:Object-oriented dbr:Unit_type dbr:Type_inference dbr:Programming_language dbr:Miranda_programming_language dbr:Typedef dbr:Type_variable dbr:Class_(computer_science) dbr:List_(computing) |
| dbp:wikiPageUsesTemplate | dbt:Also dbt:Citation_needed dbt:Reflist dbt:See dbt:Sfn dbt:Short_description dbt:Data_types |
| dcterms:subject | dbc:Data_types dbc:Type_theory |
| gold:hypernym | dbr:Type |
| rdf:type | owl:Thing |
| rdfs:comment | En programmation informatique et théorie des types, un type récursif est un type de données dont la définition fait appel au type lui‐même, de façon récursive. Cela permet entre autres des structures de données qui contiennent des sous‐structures du même type. Cette notion s'applique naturellement dans l'étude des listes et des arbres. (fr) 再帰型（英: recursive type）とは、型の定義中にそれ自身の型が出現するような再帰する型のこと。相互再帰により直接は現れないものもある。再帰データ型（英: recursive data type）とは、データ型における再帰型のこと。 (ja) 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). (pt) 在计算机编程语言中，递归类型（又名：递归定義、隱含類型或隱含定義）是一种特殊的数据类型，它表示自身内部可能包含其它的同样类型的值。 (zh) 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. 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 an arbitrarily large size in response to runtime requirements; in contrast, a static array's size requirements must be set at compile time. (en) У комп'ютерних мовах програмування рекурсивний тип даних (також відомий як рекурсивно визначений, індуктивно визначений або індуктивний тип даних) — тип даних для значень, які можуть містити інші значення того самого типу. Дані рекурсивних типів зазвичай розглядаються як орієнтовані графи. Іноді термін «індуктивний тип даних» використовується для алгебричних типів даних, які не обов'язково є рекурсивними. (uk) |
| rdfs:label | Type récursif (fr) 再帰データ型 (ja) Recursive data type (en) Tipo recursivo (pt) 递归数据类型 (zh) Рекурсивний тип даних (uk) |
| rdfs:seeAlso | dbr:Recursion_(computer_science) |
| owl:sameAs | freebase:Recursive data type wikidata:Recursive data type dbpedia-fr:Recursive data type dbpedia-ja:Recursive data type dbpedia-pt:Recursive data type dbpedia-uk:Recursive data type dbpedia-zh:Recursive data type https://global.dbpedia.org/id/2sCWH |
| prov:wasDerivedFrom | wikipedia-en:Recursive_data_type?oldid=1100271366&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Recursive_data_type |
| is dbo:wikiPageRedirects of | dbr:Mutually_recursive_data_type dbr:Recursive_data dbr:Recursive_datatype dbr:Recursively-defined_data_type dbr:Inductive_data_type_(recursive_data) dbr:Equirecursive dbr:Equirecursive_type dbr:Inductively-defined_data_type dbr:Recursive_data_structure dbr:Recursive_type dbr:Isorecursive dbr:Isorecursive_type |
| is dbo:wikiPageWikiLink of | dbr:Denotational_semantics dbr:Apomorphism dbr:Indirection dbr:Inductive_data_type dbr:Inductive_programming dbr:Range_tree dbr:Mu_(letter) dbr:Mutually_recursive_data_type dbr:Recursive_data dbr:Recursive_datatype dbr:Recursively-defined_data_type dbr:Tree_(data_structure) dbr:Data_(computer_science) dbr:ALGOL_68 dbr:Curry_(programming_language) dbr:Fortran dbr:Pascal_(programming_language) dbr:Fold_(higher-order_function) dbr:Recursive_definition dbr:Proof_theory dbr:Reference_(computer_science) dbr:Zipper_(data_structure) dbr:Mogensen–Scott_encoding dbr:Pointer_jumping dbr:Recursion_(computer_science) dbr:Inductive_data_type_(recursive_data) dbr:Fixed-point_combinator dbr:Type_constructor dbr:Equirecursive dbr:Equirecursive_type dbr:Inductively-defined_data_type dbr:Recursive_data_structure dbr:Recursive_type dbr:Isorecursive dbr:Isorecursive_type |
| is foaf:primaryTopic of | wikipedia-en:Recursive_data_type |