C# este un limbaj puternic tipizat (strongly-typed). Un asemenea limbaj impune programatorului să declare un tip pentru fiecare obiect creat, iar compilatorul verifică compatibilitatea dintre tipurile obiectelor şi valorile care le sunt atribuite.