מחלקה של נתונים, המאופיינת על ידי חברי המחלקה ואת הפעולות שניתן להחיל על אותם. לדוגמה, סוג התו, סוג ספירה, סוג שלם, סוג לוגי, סוג אמיתי.