Dunyoda mavjud bo'lgan ko'plab dasturlash tillari to'rtta asosiy guruhga bo'lingan: protsessual, ob'ektga yo'naltirilgan, funktsional va mantiqiy. Ushbu taqdimot faqat yuqoridagi guruhlarni qamrab olgan bo'lsa-da, yana bir nechta guruhlar mavjudligini unutmang, xususan: aspektga yo'naltirilgan tillar, tizimli va ko'p paradigma.