Een programmeertaal die is ontworpen voor de oplossing van een bepaalde klasse van problemen. Voorbeelden zijn lijst verwerking talen, information retrieval talen, talen van de simulatie.