Un langage de programmation conçu pour la solution d'une classe donnée de problèmes. Langages de traitement de liste, information retrieval langues, langues de simulation sont des exemples.