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