Système informatique offrant une
sémantique de programmation accessible
à l’homme (par opposition au langage
machine imbitable par nous humains, sauf pour
les très courageux !) permettant de
concevoir des applications informatiques.
Pour qu’il fonctionne, un programme écrit
dans un langage donné doit être
compilé en un exécutable. Généralement,
un langage permet au moins de manipuler simplement
des données (sous formes de variables),
opérer des traitements modulaires (possibilité
de concevoir des fonctions), effectuer des
opérations d’entrée-sortie (périphériques,
fichiers…), contrôler le flux d’instructions
(tests conditionnels, boucles …).