Un langage informatique est un langage destiné à décrire l'ensemble des actions qu’un ordinateur doit exécuter.

Tous les programmes sont des suites d’instructions lisibles par des humains mais pour qu’ils fonctionnent, ils doivent être transformés en code lisible par l’ordinateur.

Il existe deux catégories de langages :

  • les langages interprétés ;
  • les langages compilés.

Les deux présentent la même finalité : être traduit en langage machine (binaire) afin d’être compris par le processeur.

Avec un langage interprété, il est nécessaire d’avoir un programme auxiliaire (l'interpréteur) pour traduire au fur et à mesure les instructions du programme. L’interpréteur se charge de traduire le code humain vers du code machine en temps réel.

Avec un langage compilé, le programme est directement transformé en code machine. On passe d’un code lisible par un humain à du code binaire.

Les programmes compilés sont beaucoup plus rapides que les programmes interprétés, plus performants mais aussi bien plus complexes.

À chaque langage de programmation son compilateur.