Sistema dei tipi

Questa pagina sull'argomento Informatica sembra trattare argomenti unificabili alle pagine Tipizzazione forte, Tipizzazione dinamica, Tipizzazione statica e Sottotipo (informatica), che potrebbero confluire qui.

Puoi contribuire unendo i contenuti in una pagina unica. Commenta la procedura di unione usando questa pagina di discussione. Segui i suggerimenti del progetto di riferimento.

Questa voce sugli argomenti Informatica e Programmazione è solo un abbozzo.

Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento.

In informatica, un sistema dei tipi è un framework sintattico per la classificazione di espressioni secondo i tipi che esse calcolano.^[1] Un sistema dei tipi associa tipi a ogni valore computato. Esaminando il flusso di questi valori, un sistema dei tipi tenta di dimostrare che non avvengano errori di tipo. Il sistema stesso determina che cosa costituisce un errore di tipo, garantendo che le operazioni che si aspettano un certo tipo di valore non siano utilizzate con valori per i quali quell'operazione non ha senso.

La profondità dei vincoli sui tipi e la maniera con cui essi vengono valutati dal sistema influenzano la cosiddetta tipizzazione del linguaggio di programmazione. Nel caso di polimorfismo dei tipi, un linguaggio può associare alla stessa operazione un diverso algoritmo per ogni tipo utilizzabile. Sebbene i sistemi dei tipi concreti utilizzati nei linguaggi di programmazione nascano da problemi di natura pratica di architetture dei calcolatori, implementazione dei compilatori e progetto dei linguaggi, esiste una branca dell'informatica, detta teoria dei tipi, che studia i diversi sistemi dei tipi.

Controllo del tipo

Nei linguaggi di programmazione che possiedono un sistema di tipi, il controllo del tipo (in inglese type checking) è l'operazione con cui si determina se il valore assegnato a una variabile sia ammesso per il tipo della variabile. All'interno dei linguaggi tipizzati, si è soliti fare un'ulteriore distinzione tra tipizzazione forte e tipizzazione debole in base alla rigorosità del controllo e alla conversione di tipo implicita. Inoltre, il controllo del tipo può essere statico, se effettuato in compilazione (compile-time) o dinamico, se effettuato durante l'esecuzione (run-time).

Note

^ Benjamin Pierce, Types and Programming Languages, MIT Press, 2002, ISBN 0-262-16209-1.

Voci correlate

Portale Informatica: accedi alle voci di Wikipedia che trattano di informatica

Read other articles:

Leang Tanre

Leang TanreGua TanreLua error in Modul:Location_map at line 425: Kesalahan format nilai koordinat.LokasiKabupaten Maros, Sulawesi Selatan, IndonesiaKoordinat04°59'34.0S 119°39'00.8E[1]Rentang tinggi32 mdplGeologikarst / batu kapur / batu gampingSitus webvisit.maroskab.go.idcagarbudaya.kemdikbud.go.idkebudayaan.kemdikbud.go.id/bpcbsulsel/ Wisata Gua PrasejarahLeang Tanre Informasi Lokasi Kabupaten Maros, Sulawesi Selatan Negara Indonesia Pengelola Dinas Kebudayaan dan Pariwisat...

Transportasi rel

Perkeretaapian beralih ke halaman ini. Untuk kereta api secara umum, lihat kereta api. KRL Commuter Line dan kereta api jarak jauh di Stasiun Jatinegara.Bagian dari seriPerkeretaapian Sejarah Perusahaan Prasarana Penyelenggara Emplasemen Rel Pemeliharaan Lebar sepur Lebar sepur variabel Konversi Lebar sepur ganda Bakal pelanting dan angkutan Operasi Lokomotif Kereta api Sarana tak berpenggerak Kereta penumpang Gerbong Alat perangkai Menurut negara Konversi Alat perangkai ganda Set roda Bogie ...

The Shadowhunter's Codex

The Shadowhunter's Codex AuthorCassandra Clare and Joshua LewisCover artistCliff NielsenCountryUnited StatesLanguageEnglishSeriesCompanion book to The Shadowhunter ChroniclesPublisherMargaret K. McElderryPublication dateOctober 29, 2013Media typePrint (Hardback & Paperback)Pages288 pp (hardback, first edition) The Shadowhunter's Codex is a companion book to Cassandra Clare's The Shadowhunter Chronicles. The book was authored by both Clare and her husband, Joshua Lewis,[1]...

Esecuzione di Gesù secondo i Testimoni di Geova

L'esecuzione di Gesù secondo i Testimoni di Geova si è svolta con modalità diverse da come tradizionalmente viene raffigurata dalla cristianità, in quanto questi «non credono [...] che Gesù sia morto su una croce, [bensì] su un palo verticale senza alcun braccio trasversale»[1]. Sostengono «che Dio disapprova il culto in cui si fa uso di immagini e simboli, inclusa la croce» (Deuteronomio 4:15-19; 1 Corinti 10:14), per cui anche gli aspetti devozionali sono radicalmente ...

Label SJ

Label SJ adalah sebuah label khusus yang dibuat oleh label rekaman Korea Selatan SM Entertainment untuk boy band Super Junior pada ulang tahun mereka yang ke-10 tanggal 6 November 2015.[1] Label SJJenisPrivateIndustriEntertainmentGenreK-popDancePopElectropopR&BHip HopElektronikaTrotDidirikan6 November 2015PendiriSM EntertainmentKantorpusatSeoul, Korea SelatanIndukS.M. Entertainment History Tanggal 6 November 2015, Super Junior bertepatan dengan hari ulang tahun mereka sejak debut,...

سوروني (دوديكانيسوس)

سوروني تقسيم إداري البلد اليونان [1] إحداثيات 36°21′46″N 28°00′06″E / 36.362725°N 28.00161111°E / 36.362725; 28.00161111 السكان التعداد السكاني 1265 (resident population of Greece) (2021)1213 (resident population of Greece) (2001)1245 (resident population of Greece) (1991)1278 (resident population of Greece) (2011) الرمز الجغرافي 8145316 تعديل مصد�...

Plaza Mandiri

Artikel ini tidak memiliki referensi atau sumber tepercaya sehingga isinya tidak bisa dipastikan. Tolong bantu perbaiki artikel ini dengan menambahkan referensi yang layak. Tulisan tanpa sumber dapat dipertanyakan dan dihapus sewaktu-waktu.Cari sumber: Plaza Mandiri – berita · surat kabar · buku · cendekiawan · JSTOR Plaza MandiriTampak depan Plaza MandiriInformasi umumStatusSelesaiJenisPerkantoran, pertokoanGaya arsitekturTinggi-menjulangLokasiJakarta...

Ioan Gheorghe Savin

Ioan Gheorghe SavinBorn(1885-12-19)December 19, 1885Jorăști, Galați CountyDiedFebruary 22, 1973(1973-02-22) (aged 87)Burial placeCernica, Ilfov CountyAlma materUniversity of BucharestEmployer(s)University of IașiUniversity of BucharestKnown forChristian apologeticsCriminal chargesTreasonCriminal penaltyImprisonment at Sighet Prison (1950–1955)Spouses Natalia Negru (divorced) Lucia Avramescu (div. 1950) Cornelia Răd...

Fugitive Lady (1950 film)

1950 Italian filmFugitive LadyDirected by Sidney Salkow Marino Girolami (Uncredited) Written byJohn O'DeaBased onDark Roadby Doris Miles DisneyProduced byM.J. FrankovichStarring Janis Paige Binnie Barnes Massimo Serato CinematographyTonino Delli ColliEdited byNino BaragliMusic byVictor DamianteDistributed by Scalera Film (Italy) Republic Pictures (United States–Original) Viacom (United States–Current) Release dates8 May 1950 (Italy) 15 July 1951 (United States)Running time78 minutesCountr...

Somalia

Artikel ini bukan mengenai Republik Federal Somalia atau Somaliland. Republik Federal SomaliaSomali:Jamhuuriyadda Federaalka SoomaaliyaArab:جمهورية الصومال الفدرالية Jumhūrīyat aṣ-Ṣūmāl al-FidirālīyahInggris: Federal Republic of SomaliaItalia:Repubblica federale di Somalia Bendera Lambang Semboyan: —Lagu kebangsaan: Qolobaa Calankeed (Indonesia: Memuji Tanah Air) Perlihatkan BumiPerlihatkan peta AfrikaPerlihatkan peta BenderaLokasi Somalia&#...

Federal University of Lavras

You can help expand this article with text translated from the corresponding article in Portuguese. (October 2017) Click [show] for important translation instructions. Machine translation, like DeepL or Google Translate, is a useful starting point for translations, but translators must revise errors as necessary and confirm that the translation is accurate, rather than simply copy-pasting machine-translated text into the English Wikipedia. Consider adding a topic to this template: there ...

George Pretyman Tomline

English clergyman and theologian (1750–1827) In this name, the family name is Pretyman (before 1803), Pretyman Tomline (from 1803), but commonly called Tomline thereafter. The Right ReverendSir George Pretyman TomlineBt FRSBishop of WinchesterPretyman Tomline robed as Garter Prelate.DioceseDiocese of WinchesterIn office1820–1827PredecessorBrownlow NorthSuccessorCharles SumnerOther post(s)Private secretary to the Prime Minister (1783–1787)Dean of St Paul's (1787–1820)Bishop of Linc...

Wilkinson County, Georgia

County in Georgia, United States County in GeorgiaWilkinson CountyCountyBall's Ferry Landing has been designated as a site on the March to the Sea Heritage Trail.Location within the U.S. state of GeorgiaGeorgia's location within the U.S.Coordinates: 32°48′N 83°10′W / 32.80°N 83.17°W / 32.80; -83.17Country United StatesState GeorgiaFoundedMay 11, 1803; 221 years ago (1803)Named forJames WilkinsonSeatIrwintonLargest cityGordonArea ...

Повітряні сили Збройних сил України

Ця стаття потребує додаткових посилань на джерела для поліпшення її перевірності. Будь ласка, допоможіть удосконалити цю статтю, додавши посилання на надійні (авторитетні) джерела. Зверніться на сторінку обговорення за поясненнями та допоможіть виправити недоліки. Мат...

Blacks and Whites' Carnival

Carnival celebration in south Colombia 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: Blacks and Whites' Carnival – news · newspapers · books · scholar · JSTOR (August 2018) (Learn how and when to remove this message) This article may be a rough translation from Spanish. It may have been generated, in whole...

Bodyboarding

Surface water sport in which the surfer rides a bodyboard A man riding a wave with a bodyboard Bodyboarding is a water sport in which the surfer rides a bodyboard on the crest, face, and curl of a wave which is carrying the surfer towards the shore. Bodyboarding is also referred to as Boogieboarding due to the invention of the Boogie Board by Tom Morey in 1971. The average bodyboard consists of a short, rectangular piece of hydrodynamic foam. Bodyboarders typically use swim fins for additiona...

Tambang Grasberg

Artikel ini membutuhkan rujukan tambahan agar kualitasnya dapat dipastikan. Mohon bantu kami mengembangkan artikel ini dengan cara menambahkan rujukan ke sumber tepercaya. Pernyataan tak bersumber bisa saja dipertentangkan dan dihapus.Cari sumber: Tambang Grasberg – berita · surat kabar · buku · cendekiawan · JSTOR (Agustus 2023) Tambang Grasberg Tambang Grasberg dilihat dari luar angkasa Tambang Grasberg adalah tambang emas terbesar di dunia dan tamba...

Annette (film)

2021 musical film by Leos Carax AnnetteTheatrical release posterDirected byLeos CaraxStory by Leos Carax Ron Mael Russell Mael Produced by Charles Gillibert Paul-Dominique Win Vacharasinthu Adam Driver Starring Adam Driver Marion Cotillard Simon Helberg Devyn McDowell Angèle CinematographyCaroline ChampetierEdited byNelly QuettierMusic by Sparks Lyrics: Ron Mael Russell Mael Leos Carax Productioncompanies CG Cinema International Tribus P Films International Arte France Cinéma Theo Films UGC...

向井千秋

「向井千瑛」とは別人です。向井千秋宇宙飛行士国籍日本生誕 (1952-05-06) 1952年5月6日（72歳）日本・群馬県館林市他の職業東京理科大学副学長宇宙滞在期間 23日15時間39分選抜試験 1985 NASDA Groupミッション STS-65、STS-95記章 STS-95クルー（NASA提供、写真中央が向井）向井千秋（むかいちあき、旧姓：内藤、1952年（昭和27年）5月6日 - ）は、日本人女性初の宇宙飛行士。�...

Sister Bliss

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus. Cet article ne cite pas suffisamment ses sources (avril 2010). Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ». En pratique : Quelles sources sont attendues ? Com...