| rdfs:comment
| - In der Informatik, besonders in der funktionalen Programmierung und hier insbesondere in Haskell und der Typentheorie bezeichnet ein algebraischer Datentyp einen zusammengesetzten Datentypen. (de)
- Un type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. (fr)
- 프로그래밍 언어, 특히 함수형 프로그래밍과 타입 이론에서의 대수적 자료형(영어: Algebraic data type)은 다른 타입의 결합으로 만들어지는 합성 타입(영어: Composite type)을 가리킨다. 대수적 자료형의 두 가지 대표적인 예로써는 공용체(영어: Union) 등으로 불리는 합 타입(영어: Sum type), 레코드(영어: Record), 튜플(영어: Tuple) 등으로 불리는 곱 타입(영어: Product type)이 있다. 대수적 자료형은 다른 자료형의 대체로 다른 자료형을 생성자로 감싸고 있다. 어떤 값도 대수적 자료형의 생성자의 인자가 될 수 있다. 반면에 다른 자료형은 생성자를 실행할 수 없으며 패턴 매칭(영어: Pattern matching) 과정을 통해 생성자를 얻을 수 있다. 가장 일반적인 대수적 자료형은 두개의 생성자를 가진 목록형(list)이다. 목록형은 비어있는 목록을 위해 Nil 또는 []를 지원한다. 예를 들어 LISP에서는 Cons(생성자의 준말)나 ::, :등을 이용하여 짧은 목록을 결합하여 새로운 목록을 만들 수 있게 한다. ((Cons 1 '(2 3 4)) 또는 1:[2,3,4]와 같은 방법으로 사용된다. (ko)
- 代数的データ型（だいすうてきデータがた、英: algebraic data type）とはプログラミング、特に関数型プログラミングや型システムにおいて使われるデータ型である。それぞれの代数的データ型の値には、1個以上のコンストラクタがあり、各コンストラクタには0個以上の引数がある。 代数的データ型の値（データ）の感覚的な説明としては、引数で与えられた他のデータ型の値を、コンストラクタで包んだようなもの、である。コンストラクタに引数がある代数データ型は複合型（他のデータ型を組み合わせて形成する型）である。 (ja)
- In de informatica is een algebraïsch datatype een datatype waarin de waarden van andere datatypen verpakt zijn met constructoren. De constructor wordt niet uitgevoerd maar deze wordt gebruikt om de data uit het datatype te halen met patroonherkenning. Algebraïsche datatypen worden voornamelijk gebruikt in functionele programmeertalen. (nl)
- En matemàtiques discretes és usual introduir definicions d'estructures recursives donant els casos de definició i un axioma de clausura indicant que cap altra cosa forma part del definit. Per exemple, els arbres amb informació en els nodes poden definir-se com segueix:Siga T un conjunt. Els arbres amb informació en els nodes són tots els valors que es poden construir amb les regles següents. type 'T Arbol = AVacio | Nodo of ('T Arbol * 'T * 'T Arbol) i en sintaxi d'Haskell: data Arbol T = AVacio | Nodo (Arbol T) T (Arbol T) en Standard ML la mateixa funció s'escriu (ca)
- In computer programming, especially functional programming and type theory, an algebraic data type (ADT) is a kind of composite type, i.e., a type formed by combining other types. Two common classes of algebraic types are product types (i.e., tuples and records) and sum types (i.e., tagged or disjoint unions, coproduct types or variant types). Values of algebraic types are analyzed with pattern matching, which identifies a value by its constructor or field names and extracts the data it contains. (en)
- Στον προγραμματισμό υπολογιστών και συγκεκριμένα στον συναρτησιακό προγραμματισμό και τη θεωρία τύπων, ο αλγεβρικός τύπος δεδομένων (επίσης γνωστός ως variant τύπος) είναι ένας τύπος δεδομένων καθεμία από τις του οποίου είναι δεδομένο από άλλους τύπους δεδομένων που περιέχεται σε έναν από τους κατασκευαστές του τύπου δεδομένων. Οποιοδήποτε περιεχόμενο δεδομένο είναι όρισμα του κατασκευαστή. Σε αντίθεση με άλλους τύπους δεδομένων, ο κατασκευαστής δεν μπορεί να γίνει αντικείμενο επεξεργασίας και ο μόνος τρόπος επεξεργασίας των περιεχόμενων δεδομένων είναι η αφαίρεση του κατασκευαστή με . (el)
- En matemáticas discretas es usual introducir definiciones de estructuras recursivas dando los casos de definición y un axioma de clausura indicando que ninguna otra cosa forma parte de lo definido. Por ejemplo, los árboles con información en los nodos pueden definirse como sigue: Sea T un conjunto. Los árboles con información en los nodos son todos los valores que se pueden construir con las reglas siguientes. type 'T Arbol = AVacio | Nodo of ('T Arbol * 'T * 'T Arbol) y en sintaxis de Haskell (con información en los nodos de tipo t): data Arbol t = AVacio | Nodo (Arbol t) t (Arbol t) (es)
- Алгебраи́ческий тип да́нных — в информатике наиболее общий составной тип, представляющий собой тип-сумму из типов-произведений. Алгебраический тип имеет набор конструкторов, каждый из которых принимает на вход значения определённых типов и возвращает значение конструируемого типа. Конструктор представляет собой функцию, которая строит значение своего типа на основе входных значений. Для последующего извлечения этих значений из алгебраического типа используется сопоставление с образцом. data List a = Nil | Cons a (List a) data Bool = False | True (ru)
- Алгебричний тип даних — в інформатиці найзагальніший тип, який являє собою з типів-добутків. Алгебричний тип має набір , кожен з яких приймає на вхід значення певних типів і повертає значення конструйованого типу. Конструктор є функцією, яка будує значення свого типу на основі вхідних значень. Для подальшого видобування цих значень з алгебричного типу використовується зіставлення зі зразком. data List a = Nil | Cons a (List a) data Bool = False | True (uk)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)