About: Generalized algebraic data type

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Generalized algebraic data type Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FGeneralized_algebraic_data_type

In functional programming, a generalized algebraic data type (GADT, also first-class phantom type, guarded recursive datatype, or equality-qualified type) is a generalization of parametric algebraic data types.

Attributes	Values
rdfs:label	Γενικευμένος αλγεβρικός τύπος δεδομένων (el) Generalized algebraic data type (en) Type algébrique généralisé (fr) Обобщённый алгебраический тип данных (ru) Узагальнений алгебричний тип даних (uk)
rdfs:comment	In functional programming, a generalized algebraic data type (GADT, also first-class phantom type, guarded recursive datatype, or equality-qualified type) is a generalization of parametric algebraic data types. (en) Στον συναρτησιακό προγραμματισμό, ένας γενικευμένος αλγεβρικός τύπος δεδομένων (επίσης γνωστός ως GADT και πρώτης τάξεως τύπος φάντασμα) είναι μια γενίκευση του της Haskell και της ML, εφαρμοσμένου πάνω σε παραμετρικούς τύπους. (el) Обобщённый алгебраический тип да́нных (англ. generalized algebraic data type, GADT) — один из видов алгебраических типов данных, который характеризуется тем, что его конструкторы могут возвращать значения не своего типа, связанного с ним. Сконструированы под влиянием работ об индуктивных семействах в среде исследователей зависимых типов. Применяются в обобщённом программировании, моделировании (англ. higher-order abstract syntax) языков программирования и моделировании объектов, сохранении инвариантов структур данных, выражении ограничений во встроенных предметно-ориентированных языках. (ru)
dcterms:subject	Composite data types Functional programming Data types Dependently typed programming Type theory
Wikipage page ID	6766624 (xsd:integer)
Wikipage revision ID	1103874671 (xsd:integer)
Link from a Wikipage to another Wikipage	Scala (programming language) Principal type Composite data types Invariant (computer science) Coq Generic programming Embedded domain-specific language Glasgow Haskell Compiler ML (programming language) Simon Peyton Jones Simply typed lambda calculus Functional programming Dependently typed language Parametric polymorphism Functional programming Data structure Wiki Lecture Notes in Computer Science Algebraic data type Data types Darcs Dependently typed programming Type class Fixed point combinator Pugs (programming) Haskell Type theory Higher-order abstract syntax Martin Odersky Data constructor OCaml Calculus of Inductive Constructions Undecidable problem Type inference Programming language Existential type Type variable Type reconstruction Tuple (computer science) ALF (theorem prover) Pattern matching (functional programming) Type annotation Type safe dbr:Base_type dbr:Positivity_restriction
Link from a Wikipage to an external page	http://prime.haskell.org/wiki/GADTs https://gist.github.com/jbgi/208a1733f15cdcf78eb5 https://www.researchgate.net/profile/Claudio_Russo/publication/213880929_Generalized_algebraic_data_types_and_object-oriented_programming/links/5724878d08aee491cb3a3ebf/Generalized-algebraic-data-types-and-object-oriented-programming.pdf https://www.researchgate.net/profile/S-Swierstra/publication/220606952_A_lean_specification_for_GADTs_System_F_with_first-class_equality_proofs/links/0c960529dac172f57d000000/A-lean-specification-for-GADTs-System-F-with-first-class-equality-proofs.pdf http://www.haskell.org/haskellwiki/Generalised_algebraic_datatype https://strathprints.strath.ac.uk/33726/1/ghani_popl08.pdf http://web.cecs.pdx.edu/~sheard/papers/silly.pdf%7Cdate=September http://haskell.org/ghc/docs/7.0-latest/html/users_guide/data-type-extensions.html%23gadt http://research.microsoft.com/en-us/um/people/simonpj/papers/constraints/ http://research.microsoft.com/en-us/um/people/simonpj/papers/gadt/ http://research.microsoft.com/en-us/um/people/simonpj/papers/gadt/MS-CIS-05-26.pdf http://research.microsoft.com/en-us/um/people/simonpj/papers/gadt/gadt-rigid-contexts.pdf http://research.microsoft.com/en-us/um/people/simonpj/papers/gadt/implication_constraints.pdf http://sites.google.com/site/chklin/research/dissertation.pdf%3Fattredirects=0%7Cdegree=Doctoral http://lambda-the-ultimate.org/node/1134
sameAs	Generalized algebraic data type Generalized algebraic data type Generalized algebraic data type Generalized algebraic data type Generalized algebraic data type Generalized algebraic data type Generalized algebraic data type
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Cite_conference dbt:Cite_journal dbt:Cite_thesis dbt:Further dbt:Harvtxt dbt:Refbegin dbt:Refend dbt:Reflist dbt:Sfn dbt:Wikibooks dbt:Harvnb dbt:Data_types
has abstract	Στον συναρτησιακό προγραμματισμό, ένας γενικευμένος αλγεβρικός τύπος δεδομένων (επίσης γνωστός ως GADT και πρώτης τάξεως τύπος φάντασμα) είναι μια γενίκευση του της Haskell και της ML, εφαρμοσμένου πάνω σε παραμετρικούς τύπους. Με αυτή την επέκταση, οι παράμετροι του τύπου επιστροφής ενός κατασκευαστή τύπων μπορούν να επιλεχθούν ελεύθερα όταν δηλώνεται ο κατασκευαστής, ενώ για αλγεβρικούς τύπους στην Haskell 98, η παράμετρος τύπου της τιμής επιστροφή συμπεραίνεται από τους τύπους των παραμέτρων. Οι γενικευμένοι αλγεβρικοί τύποι δεδομένων είναι υλοποιημένοι στον μεταγλωττιστή σαν μια επέκταση, η οποία χρησιμοποιείται, μεταξύ άλλων, από τον και τον Darcs. Η γλώσσα προγραμματισμού Ωμέγα επεκτείνει τη Haskell με γενικευμένους αλγεβρικούς τύπους δεδομένων. (el) In functional programming, a generalized algebraic data type (GADT, also first-class phantom type, guarded recursive datatype, or equality-qualified type) is a generalization of parametric algebraic data types. (en) Обобщённый алгебраический тип да́нных (англ. generalized algebraic data type, GADT) — один из видов алгебраических типов данных, который характеризуется тем, что его конструкторы могут возвращать значения не своего типа, связанного с ним. Сконструированы под влиянием работ об индуктивных семействах в среде исследователей зависимых типов. Такие типы реализованы в нескольких языках программирования, в частности в языках OCaml (начиная с версии 4), Idris, Agda и Haskell, причём в последнем оно не входит в стандарт языка, а реализовано только в одном из расширений компилятора GHC. Язык Haskell имитирует (англ. inductive family), представляя их типами, индексированными другими типами. Применяются в обобщённом программировании, моделировании (англ. higher-order abstract syntax) языков программирования и моделировании объектов, сохранении инвариантов структур данных, выражении ограничений во встроенных предметно-ориентированных языках. (ru)
gold:hypernym	Generalization
prov:wasDerivedFrom	wikipedia-en:Generalized_algebraic_data_type?oldid=1103874671&ns=0

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software