Programavimo kalba sukurta tam tikros klasės problemų sprendimą. Pavyzdžiai yra sąrašo tvarkymo kalbas, informacijos paieškos kalbos, modeliavimo kalbos.