|
|
|
|
|
|
|
1. The Free On-line Dictionary of Computing (30 December 2018) |
algebraic data type
sum of products type
(Or "sum of products type") In functional
programming, new types can be defined, each of which has one
or more constructors. Such a type is known as an algebraic
data type. E.g. in Haskell we can define a new type,
"Tree":
data Tree = Empty | Leaf Int | Node Tree Tree
with constructors "Empty", "Leaf" and "Node". The
constructors can be used much like functions in that they can
be (partially) applied to arguments of the appropriate type.
For example, the Leaf constructor has the functional type Int
-> Tree.
A constructor application cannot be reduced (evaluated) like a
function application though since it is already in normal
form. Functions which operate on algebraic data types can be
defined using pattern matching:
depth :: Tree -> Int
depth Empty = 0
depth (Leaf n) = 1
depth (Node l r) = 1 + max (depth l) (depth r)
The most common algebraic data type is the list which has
constructors Nil and Cons, written in Haskell using the
special syntax "[]" for Nil and infix ":" for Cons.
Special cases of algebraic types are product types (only one
constructor) and enumeration types (many constructors with
no arguments). Algebraic types are one kind of constructed
type (i.e. a type formed by combining other types).
An algebraic data type may also be an abstract data type
(ADT) if it is exported from a module without its
constructors. Objects of such a type can only be manipulated
using functions defined in the same module as the type
itself.
In set theory the equivalent of an algebraic data type is a
discriminated union - a set whose elements consist of a tag
(equivalent to a constructor) and an object of a type
corresponding to the tag (equivalent to the constructor
arguments).
(1994-11-23)
|
|
|
|
|
Common Misspellings > |
algebraic data type lalgebraic data type lagebraic data type alagebraic data type lgebraic data type aalgebraic data type aglebraic data type alglebraic data type agebraic data type allgebraic data type alegbraic data type algegbraic data type alebraic data type alggebraic data type algberaic data type algeberaic data type algbraic data type algeebraic data type algerbaic data type algebrbaic data type algeraic data type algebbraic data type algebaric data type algebraric data type algebaic data type algebrraic data type algebriac data type algebraiac data type algebric data type algebraaic data type algebraci data type algebraici data type algebrac data type algebraiic data type algebrai cdata type algebraic cdata type algebrai data type algebraicc data type algebraicd ata type algebraic d ata type algebraicdata type algebraic data type algebraic adta type algebraic dadta type algebraic ata type algebraic ddata type algebraic dtaa type algebraic dataa type algebraic dta type algebraic daata type algebraic daat type algebraic datat type algebraic daa type algebraic datta type algebraic dat atype algebraic data atype algebraic dat type algebraic dataa type algebraic datat ype algebraic data t ype algebraic datatype algebraic data type algebraic data ytpe algebraic data tytpe algebraic data ype algebraic data ttype algebraic data tpye algebraic data typye algebraic data tpe algebraic data tyype algebraic data tyep algebraic data typep algebraic data tye algebraic data typpe algebraic data tyepe algebraic data typ algebraic data typee qlgebraic data type aqlgebraic data type qalgebraic data type wlgebraic data type awlgebraic data type walgebraic data type slgebraic data type aslgebraic data type salgebraic data type xlgebraic data type axlgebraic data type xalgebraic data type zlgebraic data type azlgebraic data type zalgebraic data type lgebraic data type a lgebraic data type algebraic data type elgebraic data type ilgebraic data type olgebraic data type ulgebraic data type aigebraic data type aligebraic data type ailgebraic data type aogebraic data type alogebraic data type aolgebraic data type apgebraic data type alpgebraic data type aplgebraic data type akgebraic data type alkgebraic data type aklgebraic data type a,gebraic data type al,gebraic data type a,lgebraic data type a.gebraic data type al.gebraic data type a.lgebraic data type alrebraic data type algrebraic data type alrgebraic data type altebraic data type algtebraic data type altgebraic data type alyebraic data type algyebraic data type alygebraic data type alfebraic data type algfebraic data type alfgebraic data type alhebraic data type alghebraic data type alhgebraic data type alvebraic data type algvebraic data type alvgebraic data type albebraic data type algbebraic data type albgebraic data type alnebraic data type algnebraic data type alngebraic data type al ebraic data type alg ebraic data type al gebraic data type alg3braic data type alge3braic data type alg3ebraic data type alg#braic data type alge#braic data type alg#ebraic data type alg4braic data type alge4braic data type alg4ebraic data type algwbraic data type algewbraic data type algwebraic data type algrbraic data type algerbraic data type algrebraic data type algsbraic data type algesbraic data type algsebraic data type algdbraic data type algedbraic data type algdebraic data type algfbraic data type algefbraic data type algfebraic data type algabraic data type algibraic data type algobraic data type algubraic data type algefraic data type algebfraic data type algefbraic data type algegraic data type algebgraic data type algegbraic data type algehraic data type algebhraic data type algehbraic data type algevraic data type algebvraic data type algevbraic data type algenraic data type algebnraic data type algenbraic data type alge raic data type algeb raic data type alge braic data type algeb4aic data type algebr4aic data type algeb4raic data type algeb$aic data type algebr$aic data type algeb$raic data type algeb5aic data type algebr5aic data type algeb5raic data type algebeaic data type algebreaic data type algeberaic data type algebtaic data type algebrtaic data type algebtraic data type algebdaic data type algebrdaic data type algebdraic data type algebfaic data type algebrfaic data type algebfraic data type algebgaic data type algebrgaic data type algebgraic data type algebrqic data type algebraqic data type algebrqaic data type algebrwic data type algebrawic data type algebrwaic data type algebrsic data type algebrasic data type algebrsaic data type algebrxic data type algebraxic data type algebrxaic data type algebrzic data type algebrazic data type algebrzaic data type algebr ic data type algebra ic data type algebr aic data type algebreic data type algebriic data type algebroic data type algebruic data type algebra8c data type algebrai8c data type algebra8ic data type algebra*c data type algebrai*c data type algebra*ic data type algebra9c data type algebrai9c data type algebra9ic data type algebrauc data type algebraiuc data type algebrauic data type algebraoc data type algebraioc data type algebraoic data type algebrajc data type algebraijc data type algebrajic data type algebrakc data type algebraikc data type algebrakic data type algebralc data type algebrailc data type algebralic data type algebraac data type algebraec data type algebrais data type algebraics data type algebraisc data type algebraid data type algebraicd data type algebraidc data type algebraif data type algebraicf data type algebraifc data type algebraix data type algebraicx data type algebraixc data type algebraiv data type algebraicv data type algebraivc data type algebrai data type algebraic data type algebrai c data type algebraic wata type algebraic dwata type algebraic wdata type algebraic eata type algebraic deata type algebraic edata type algebraic rata type algebraic drata type algebraic rdata type algebraic sata type algebraic dsata type algebraic sdata type algebraic fata type algebraic dfata type algebraic fdata type algebraic xata type algebraic dxata type algebraic xdata type algebraic cata type algebraic dcata type algebraic cdata type algebraic vata type algebraic dvata type algebraic vdata type algebraic ata type algebraic d ata type algebraic data type algebraic dqta type algebraic daqta type algebraic dqata type algebraic dwta type algebraic dawta type algebraic dwata type algebraic dsta type algebraic dasta type algebraic dsata type algebraic dxta type algebraic daxta type algebraic dxata type algebraic dzta type algebraic dazta type algebraic dzata type algebraic d ta type algebraic da ta type algebraic d ata type algebraic deta type algebraic dita type algebraic dota type algebraic duta type algebraic da5a type algebraic dat5a type algebraic da5ta type algebraic da%a type algebraic dat%a type algebraic da%ta type algebraic da6a type algebraic dat6a type algebraic da6ta type algebraic dara type algebraic datra type algebraic darta type algebraic daya type algebraic datya type algebraic dayta type algebraic dafa type algebraic datfa type algebraic dafta type algebraic daga type algebraic datga type algebraic dagta type algebraic daha type algebraic datha type algebraic dahta type algebraic datq type algebraic dataq type algebraic datqa type algebraic datw type algebraic dataw type algebraic datwa type algebraic dats type algebraic datas type algebraic datsa type algebraic datx type algebraic datax type algebraic datxa type algebraic datz type algebraic dataz type algebraic datza type algebraic dat type algebraic data type algebraic dat a type algebraic date type algebraic dati type algebraic dato type algebraic datu type algebraic data 5ype algebraic data t5ype algebraic data 5type algebraic data %ype algebraic data t%ype algebraic data %type algebraic data 6ype algebraic data t6ype algebraic data 6type algebraic data rype algebraic data trype algebraic data rtype algebraic data yype algebraic data tyype algebraic data ytype algebraic data fype algebraic data tfype algebraic data ftype algebraic data gype algebraic data tgype algebraic data gtype algebraic data hype algebraic data thype algebraic data htype algebraic data t6pe algebraic data ty6pe algebraic data t6ype algebraic data t^pe algebraic data ty^pe algebraic data t^ype algebraic data t7pe algebraic data ty7pe algebraic data t7ype algebraic data ttpe algebraic data tytpe algebraic data ttype algebraic data tupe algebraic data tyupe algebraic data tuype algebraic data tgpe algebraic data tygpe algebraic data tgype algebraic data thpe algebraic data tyhpe algebraic data thype algebraic data tjpe algebraic data tyjpe algebraic data tjype algebraic data ty0e algebraic data typ0e algebraic data ty0pe algebraic data ty)e algebraic data typ)e algebraic data ty)pe algebraic data tyoe algebraic data typoe algebraic data tyope algebraic data tyle algebraic data typle algebraic data tylpe algebraic data typ3 algebraic data type3 algebraic data typ3e algebraic data typ# algebraic data type# algebraic data typ#e algebraic data typ4 algebraic data type4 algebraic data typ4e algebraic data typw algebraic data typew algebraic data typwe algebraic data typr algebraic data typer algebraic data typre algebraic data typs algebraic data types algebraic data typse algebraic data typd algebraic data typed algebraic data typde algebraic data typf algebraic data typef algebraic data typfe algebraic data typa algebraic data typi algebraic data typo algebraic data typu Definition commonly spelled as: Defanition or Defenition, Synonym as: Synonim, Sinonym or Sinonim, Thesaurus as: Thesorus or Thesauris, Dictionary as: Dictionery or Dictionry and Define is usually not misspelled. What does mispell meen? It Meens...
Full Map Index: Å Norway-Am Timan Chad |
Ama United States of America-Audon France |
Audouville-la-Hubert France-Baskil Turkey |
Baskin United States of America-Bindoy Philippines |
Bindoy Philippines-Breuilpont France |
Breukelen Netherlands-Campofelice di Fitalia Italy |
Campofelice di Roccella Italy-Champigny France |
Champigny-en-Beauce France-Colle San Magno Italy |
Colle Sannita Italy-Damulog Philippines |
Damurhuda Bangladesh-Duliāgaon India |
Duliajan No.1 India-Ethridge United States of America |
Étienville France-Frignano Italy |
Frignicourt France-Gouhenans France |
Gouillons France-Hasselbach Germany |
Hasselbach Germany-Hurlock United States of America |
Huron United States of America-Jovellanos Cuba |
Jovellar Philippines-Kirchzell Germany |
Kircubbin United Kingdom-La Gomera Guatemala |
La Gonfrière France-Le Hohwald France |
Le Hommet-dArthenay France-Loma de Gato Philippines |
Loma de Juárez Mexico-Mālpur India |
Mālpura India-Memphis United States of America |
Memphis United States of America-Montería Colombia |
Monteriggioni Italy-Navalilla Spain |
Navalmanzano Spain-Noyelles-lès-Seclin France |
Noyelles-lès-Vermelles France-Pachelma Russia |
Pachgaon India-Piégut-Pluviers France |
Piekary Śląskie Poland-Prilep Macedonia |
Přílepy Czech Republic-Reuil-en-Brie France |
Reuilly France-Şag Romania |
Şag Romania-Saint-Puy France |
Saint-Python France-Santa Rita Panama |
Santa Rita Venezuela-Sewarhi India |
Sewen France-Sparbu Norway |
Spardorf Germany-Tamparan Philippines |
Tampayan Philippines-Tottington United Kingdom |
Tottleben Germany-Valdivia Chile |
Valdivia Colombia-Villeneuve-le-Roi France |
Villeneuve-lès-Avignon France-White City United States of America |
White City Canada-Żywiec Poland |
|
Most Popular Searches: Define Misanthrope, Define Pulchritudinous, Define Happy, Define Veracity, Define Cornucopia, Define Almuerzo, Define Atresic, Define URL, Definitions Of Words, Definition Of Get Up, Definition Of Quid Pro Quo, Definition Of Irreconcilable Differences, Definition Of Word, Synonyms of Repetitive, Synonym Dictionary, Synonym Antonyms. See our main index and map index for more details.
|
©2011-2024 ZebraWords.com - Define Yourself - The Search for Meanings and Meaning Means I Mean. All content subject to terms and conditions as set out here. Contact Us, peruse our Privacy Policy |
|