Tip sistem

De la Wikipedia, enciclopedia liberă.
Salt la navigare Salt la căutare

În informatică , un sistem de tip este un cadru sintactic pentru clasificarea expresiilor în funcție de tipurile pe care le calculează. [1] Un sistem de tip asociază tipurile cu fiecare valoare calculată. Prin examinarea fluxului acestor valori, un sistem de tip încearcă să demonstreze că nu apar erori de tip . Sistemul în sine determină ceea ce constituie o eroare de tip, asigurându-se că operațiile care așteaptă un anumit tip de valoare nu sunt utilizate cu valori pentru care acea operație nu are sens.

Adâncimea constrângerilor de tip și modul în care acestea sunt evaluate de sistem influențează așa-numita tipare a limbajului de programare . În cazul polimorfismului de tip, un limbaj poate asocia un algoritm diferit pentru fiecare tip utilizabil aceleiași operații. Deși sistemele de tip concret utilizate în limbaje de programare apar din probleme practice de arhitectură a computerelor , implementarea compilatorului și proiectarea limbajului, există o ramură a informaticii, numită teoria tipurilor, care studiază diferitele sisteme de tip.

Notă

  1. ^ Benjamin Pierce, Tipuri și limbaje de programare , MIT Press, 2002, ISBN 0-262-16209-1 .

Elemente conexe