Conceptul de tip de date

Conceptul de tip de date

In procesul de prelucrare a datelor se face o distinctie clara intre:

Numerele reale, Numerele complexe, Valori logice

Variabilele care reprezinta valori individuale, multimi de valori, multimi de multimi sau intre functii, multimi de functii, etc.

In acest sens se statueaza principiul conform caruia fiecare constanta, variabila, expresie sau functie este de un anumit tip.

Un tip este in mod esential caracterizat prin:

(1) Multimea valorilor careia ii apartine o constanta a tipului in cauza, respectiv multimea valorilor pe care le poate asuma o variabila, o expresie sau care pot fi generate de o functie incadrata in acel tip

(2) Un anumit grad de structurare (organizare) a informatiei;

(3) Un set de operatori specifici.

In textele matematice tipul variabilelor este in general deductibil din maniera lor de prezentare, respectiv din forma tipografica a caracterelor utilizate, fara a lua in considerare contextul. Aceasta modalitate este insa dificil de utilizat in textele sursa ale programelor pentru calculatoare unde in general se utilizeaza o gama relativ redusa de caractere tipografice.Din acest motiv, in practica curenta, tipul asociat unei variabile este precizat printr-o declaratie explicita de constanta, variabila sau functie, declaratie care precede textual utilizarea respectivei constante, variabile sau functii. Aceasta metoda simplifica activitatea compilatorului permitand evitarea alocarii dinamice a memoriei.

Caracteristicile conceptului de tip sunt urmatoarele:

(1) Un tip de date determina multimea valorilor careia ii apartine o constanta, sau pe care le poate asuma o variabila sau o expresie, sau care pot fi generate de un operator sau o functie.

(2) Tipul unei valori precizate de o constanta, variabila sau expresie poate fi dedus din forma sau din declaratia sa, fara a fi necesara executia unor procese de calcul.

(3) Fiecare operator sau functie accepta argumente de un tip precizat si conduce la un rezultat de un tip precizat. Daca un operator admite argumente de diferite tipuri (exemplu - adunarea numerelor intregi cu numere reale), atunci tipul rezultatului poate fi determinat din regulile specifice limbajului.

(4) Un tip presupune un anumit nivel de structurare (organizare) a informatiei.

Drept urmare, respectand aceste reguli, un compilator poate verifica compatibilitatea si legalitatea anumitor constructii de limbaj, in faza de compilare, fara a fi necesara executia efectiva a programului. Acest tip de redundanta a textului programului este extrem de folositor in dezvoltarea de programe si este considerat ca un mare avantaj al limbajelor de nivel superior asupra limbajelor de asamblare.Din punctul de vedere al sistemului de calcul, memoria este o masa omogena de biti fara vreo structura aparenta.

Ori tocmai structurile abstracte sunt acelea care permit recunoasterea, interpretarea si prelucrarea configuratiilor de cifre binare prezente in memoria sistemului de calcul.