Tip de date (data type)

o mulime de valori creia adesea i se adaug un set de operatori i un set de

reguli de folosire a operatorilor.
Puternic tipizat (strongly typed) (despre un limbaj)
care nu poate genera erori cauzate de tipuri eronate n timpul execuiei.
Operator (operator)
o operaie ntre mai multe valori dnd ca rezultat o alt valoare; strict vorbind o
funcie (parial) definit pe un produs cartezian de tipuri cu valori ntr-un tip.
Polimorfic (polymorphic)
un operator care opereaz la fel asupra mai multor tipuri de date structurate
asemnator.
Suprancrcat (overloaded)
(despre un operator) n realitate mai muli operatori cu acelai nume, dar care
sunt distini dup contextul n care se aplic (tipurile argumentelor i al
rezultatului).
Tip scalar (scalar type)
un tip cu un numr finit de elemente asupra crora este fixat o relaie de ordine
total (cu ajutorul unor operatori).