Język programowania, przeznaczony do rozwiązania danej klasy problemów. Przykłady są listy przetwarzania języków, wyszukiwanie informacji języków, języki symulacyjne.