Product type

In programming languages and type theory, a product of types is another, compounded, type in a structure. The "operands" of the product are types, and the structure of a product type is determined by the fixed order of the operands in the product. An instance of a product type retains the fixed order, but otherwise may contain all possible instances of its primitive data types. The expression of an instance of a product type will be a tuple, and is called a "tuple type" of expression. A product of types is a direct product of two or more types.

If there are only two component types, it can be called a "pair type". For example, if two component types A and B are the set of all possible values of that type, the product type written A × B contains elements that are pairs (a,b), where "a" and "b" are instances of A and B respectively. The pair type is a special case of the dependent pair type, where the type B may depend on the instance picked from A.

In many languages, product types take the form of a record type, for which the components of a tuple can be accessed by label. In languages that have algebraic data types, as in most functional programming languages, algebraic data types with one constructor are isomorphic to a product type.

In the Curry–Howard correspondence, product types are associated with logical conjunction (AND) in logic.

The notion directly extends to the product of an arbitrary finite number of types (an n-ary product type), and in this case, it characterizes the expressions that behave as tuples of expressions of the corresponding types. A degenerate form of product type is the unit type: it is the product of no types.

In call-by-value programming languages, a product type can be interpreted as a set of pairs whose first component is a value in the first type and whose second component is a value in the second type. In short, it is a cartesian product and it corresponds to a product in the category of types.

Most functional programming languages have a primitive notion of product type. For instance, the product of type1, ..., typen is written type1*...*typen in ML and (type1,...,typen) in Haskell. In both these languages, tuples are written (v1,...,vn) and the components of a tuple are extracted by pattern-matching. Additionally, many functional programming languages provide more general algebraic data types, which extend both product and sum types. Product types are the dual of sum types.

See also

References

Read other articles:

Digrafia

Kemasan kopi Berontoseno menampilkan sebagian informasi yang sama dalam tiga aksara sekaligus, yakni Latin, Jawi dan Jawa. Digrafia adalah istilah sosiolinguistik yang diartikan sebagai penggunaan dua atau lebih aksara untuk satu bahasa yang sama.[1] Digrafia dapat dibagi menjadi dua, yaitu digrafia sinkronik dan digrafia diakronik. Digrafia sinkronik menggambarkan keadaan dua aksara yang digunakan secara berdampingan untuk satu bahasa tertentu, sedangkan digrafia diakronik menggambar...

 

 

Coppa Italia Lega Pro 2009-2010

Coppa Italia Lega Pro 2009-2010 Competizione Coppa Italia Lega Pro Sport Calcio Edizione 38ª Organizzatore Lega Italiana Calcio Professionistico Date dal 9 agosto 2009al 28 aprile 2010 Luogo  Italia Partecipanti 90 Risultati Vincitore  Lumezzane(1º titolo) Secondo  Cosenza Cronologia della competizione 2008-2009 2010-2011 Manuale La Coppa Italia Lega Pro 2009-2010 è stata una competizione di calcio in Italia ad eliminazione diretta a cui hanno partecipato tutte le s...

 

 

Salmon, Idaho

City in Lemhi County, Idaho, United States City in Idaho, United StatesSalmon, IdahoCityMotto: The Birthplace of Sacajawea[1]Location of Salmon in Lemhi County, Idaho.Coordinates: 45°10′41″N 113°54′10″W / 45.17806°N 113.90278°W / 45.17806; -113.90278CountryUnited StatesStateIdahoCountyLemhiArea[2] • Total2.54 sq mi (6.59 km2) • Land2.51 sq mi (6.49 km2) • Water0.04 s...

Плато

У этого термина существуют и другие значения, см. Плато (значения). Плато Рорайма Плато́ (фр. plateau, от plat — «плоский») — возвышенная равнина с ровной или волнистой слабо разделённой поверхностью, ограниченная отчётливыми уступами от соседних равнинных пространств...

 

 

Castro dei Volsci

Castro dei Volscicomune Castro dei Volsci – Veduta LocalizzazioneStato Italia Regione Lazio Provincia Frosinone AmministrazioneSindacoLeonardo Ambrosi (lista civica) dal 4-10-2021 TerritorioCoordinate41°31′N 13°24′E / 41.516667°N 13.4°E41.516667; 13.4 (Castro dei Volsci)Coordinate: 41°31′N 13°24′E / 41.516667°N 13.4°E41.516667; 13.4 (Castro dei Volsci) Altitudine385 m s.l.m. Superficie58,45 km² Abitant...

 

 

Trayvon Martin

American teenager killed in a shooting (1995–2012) Trayvon MartinMartin at the Experience Aviation camp in 2009BornTrayvon Benjamin Martin(1995-02-05)February 5, 1995Miami, Florida, U.S.DiedFebruary 26, 2012(2012-02-26) (aged 17)Sanford, Florida, U.S.Cause of deathHomicide (gunshot wound)Resting placeDade Memorial ParkAlma materMiami Carol City Senior High SchoolDr. Michael M. Krop Senior High School Trayvon Benjamin Martin (February 5, 1995 – February 26, 2012) was a 17-ye...

Unione Sportiva Foggia 1930-1931

Voce principale: Unione Sportiva Foggia. Unione Sportiva FoggiaStagione 1930-1931Sport calcio Squadra Foggia Allenatore Béla Károly Presidente Luigi Turtur Prima Divisione3º posto nel girone F. StadioCampo Sportivo del Littorio 1929-1930 1931-1932 Si invita a seguire il modello di voce Questa voce raccoglie le informazioni riguardanti l'Unione Sportiva Foggia nelle competizioni ufficiali della stagione 1930-1931. Indice 1 Stagione 2 Rosa[1] 3 Calciomercato 3.1 Sessione estiva[1][3] 4...

 

 

大字 (数字)

この項目には、一部のコンピュータや閲覧ソフトで表示できない文字が含まれています（詳細）。 数字の大字（だいじ）は、漢数字の一種。通常用いる単純な字形の漢数字（小字）の代わりに同じ音の別の漢字を用いるものである。 概要 壱万円日本銀行券（「壱」が大字） 弐千円日本銀行券（「弐」が大字） 漢数字には「一」「二」「三」と続く小字と、「壱」「�...

 

 

Princess Feodora of Denmark

This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources.Find sources: Princess Feodora of Denmark – news · newspapers · books · scholar · JSTOR (March 2014) Princess Christian of Schaumburg-Lippe Princess Feodora of DenmarkPrincess Christian of Schaumburg-LippeBorn(1910-07-03)3 July 1910Jægersborghus Mansion, Gentofte,...

Soma Holiday (the Proletariat album)

Soma HolidayStudio album by the ProletariatReleased1983RecordedMarch 1982 –StudioRadiobeatGenre Hardcore punk[1][2] post-punk[1][2] noise rock[2] art punk[2] Length39:30LanguageEnglishLabel Non-U Radiobeat Producer Jimmy Dufour Lou Giordano Frank Michaels The Proletariat chronology Distortion(1982) Soma Holiday(1983) Marketplace(1985) Professional ratingsReview scoresSourceRatingRobert ChristgauB+ [3] Soma Holiday is the ...

 

 

Jones Beach State Park

State park in New York, United States Jones Beach State ParkAerial view of Jones Beach Island and Jones Beach State Park in July 2012TypeState parkLocation1 Ocean Parkway Wantagh, New York, U.S.[1]Coordinates40°35′45″N 73°30′55″W / 40.59583°N 73.51528°W / 40.59583; -73.51528Area2,413 acres (9.77 km2)[2]CreatedAugust 4, 1929 (1929-08-04)[3]Operated byNew York State Office of Parks, Recreation and Historic Pre...

 

 

Bopfingen

Bopfingen Lambang kebesaranLetak Bopfingen NegaraJermanNegara bagianBaden-WürttembergWilayahStuttgartKreisOstalbkreisSubdivisions9 StadtteilePemerintahan • MayorDr Gunter BühlerLuas • Total77 km2 (30 sq mi)Ketinggian468 m (1,535 ft)Populasi (2021-12-31)[1] • Total11.621 • Kepadatan150/km2 (390/sq mi)Zona waktuWET/WMPET (UTC+1/+2)Kode pos73441Kode area telepon07362Pelat kendaraanAASitus webwww.bopfinge...

Vallée de l'Arve

Vallée de l'Arve Vue de la vallée entre Saint-Gervais-les-Bains et Sallanches (en arrière-plan). Massif Alpes Pays France Région Auvergne-Rhône-Alpes Département Haute-Savoie Coordonnées géographiques 46° 04′ nord, 6° 30′ est Géolocalisation sur la carte : France Vallée de l'Arve Géolocalisation sur la carte : Haute-Savoie Vallée de l'Arve Orientation aval nord-ouest Longueur 105 km Type Vallée glaciaire Écoulement Arve Voie d'accès ...

 

 

We Are One (Ole Ola)

We Are One (Ole Ola)Singel oleh Pitbull featuring Jennifer Lopez dan Claudia Leittedari album One Love, One RhythmDirilis08 April 2014 (2014-04-08)Genre Latin house samba-reggae pop dansa Durasi3:43Label Mr. 305 Polo Grounds RCA Pencipta Armando C. Perez Thomas Troelsen Jennifer Lopez Claudia Leitte Daniel Murcia Sia Furler Lukasz Gottwald Henry Walter Nadir Khayat Produser Dr. Luke Cirkut Thomas Troelsen Kronologi singel Pitbull Can't Get Enough (2014) We Are One (Ole Ola) (2014) D...

 

 

2016 ICC World Twenty20 squads

List of cricketers Autographed bats of teams that participated in the 2016 T20 World Cup at Blades of Glory Museum, Pune, India. The 2016 ICC World Twenty20 was the sixth ICC World Twenty20, and the first to be hosted by India. Sri Lanka were the defending champions, having won the 2014 edition. The following squads were chosen for the tournament. The player ages are as on 8 March 2016, the opening day of the tournament, and where a player plays for more than one team in Twenty20 cricket, onl...

Barnave, Drôme

Commune in Auvergne-Rhône-Alpes, FranceBarnaveCommuneThe village and the Glandasse mountainLocation of Barnave BarnaveShow map of FranceBarnaveShow map of Auvergne-Rhône-AlpesCoordinates: 44°39′39″N 5°22′15″E / 44.6608°N 5.3708°E / 44.6608; 5.3708CountryFranceRegionAuvergne-Rhône-AlpesDepartmentDrômeArrondissementDieCantonLe DioisIntercommunalityDioisGovernment • Mayor (2020–2026) Michelle Philippe[1]Area113.06 km2 (5.04&...

 

 

Languages of Asia

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Languages of Asia – news · newspapers · books · scholar · JSTOR (December 2016) (Learn how and when to remove this message) The Language families of Asia Asia is home to hundreds of languages comprising several families and some unrelated isolates. The most sp...

 

 

District (Israël)

Cet article est une ébauche concernant Israël. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Districts d'Israël (he) מְדִינַת יִשְׂרָאֵל(ar) محافظات إسرائيل Carte des districts d'Israël Administration Pays Israël Nombre de districts 7 districts, en comptant le district de Judée et Samarie (ancienne Cisjordanie), créé après 1967 modifier  Carte des districts d'Isra�...

Fresnel integral

Special function defined by an integral Plots of S(x) and C(x). The maximum of C(x) is about 0.977451424. If the integrands of S and C were defined using ⁠π/2⁠t2 instead of t2, then the image would be scaled vertically and horizontally (see below). The Fresnel integrals S(x) and C(x) are two transcendental functions named after Augustin-Jean Fresnel that are used in optics and are closely related to the error function (erf). They arise in the description of near-field Fresnel di...

 

 

Mormon Lake

Lake in Coconino County, Arizona Mormon LakeMormon LakeShow map of ArizonaMormon LakeShow map of the United StatesLocationCoconino County, Arizona,United StatesCoordinates34°56′33″N 111°27′21″W / 34.94250°N 111.45583°W / 34.94250; -111.45583Basin countriesUnited StatesSurface area600 acres (240 ha)Average depth10 ft (3.0 m)Surface elevation7,100 ft (2,200 m)SettlementsMormon Lake and LakeviewReferences[1] Mormon Lake is...