Информатиката се занимава с натрупване на информация за обектите/явленията, съхраняване на събраната информация в компютрите под формата на данни и обработката на съхранените данни. Информацията за един обект, от своя страна, се състои от множество характеристики на обекта/явлението и техните стойности. С представени в двоична бройна система естествени числа, можем да кодираме в компютърната памет всяка интересуваща ни стойност на характеристика и дефинирахме понятието тип – множество от стойности, представени еднообразно в компютърната памет и допустимите операции с тези стойности.

Примитивни нарекохме типовете, предоставени от хардуера посредством езика за програмиране. Всеки примитивен тип се отличава с дължината на полето от паметта което използва и начина за представяне на данните в полето и си има уникално за езика име. Езикът за програмиране C# предоставя следните примитивни типове, групирани по начина на представяне:

• Целочислените типове са 8, по два за всяка от дължините 1, 2, 4 и 8 байта – един със знак и един без знак, съответно: sbyte, byte, short, ushort, int, uint, long и ulong;
• Дробните типове с плаваща запетая в двоична система са два, с дължина 4 и 8 байта съответно: float и double;
• Дробен тип с плаваща запетая в десетична система: decimal;
• Знаковият тип char съвпада с беззнаковия целочислен ushort, но на стойностите му винаги се гледа не като на числа от 0 до 65535, а като на знаци от таблицата Unicode;
• Булевият тип – bool – се използва в програмирането за означаване на резултата от проверка на условие и има две стойности true (истина, условието е изпълнено) и false (неистина, условието не е изпълнено).

Езикът C# предоставя и два типа, които не са примитивни, но е удобно да бъдат разглеждани като примитивни. Стойностите на типа string – низ от знаци (или просто низ) – са всевъзможните последователности от знаци, т.е. последователности от стойности на типа char. Естествено е, че такъв тип няма собствена дължина – всяка конкретна стойност на типа е със специфична дължина. С втория непримитивен тип, за който е удобно да го разглеждаме като примитивен e типът object.