Vous écrivez du code en Python ou en C++. L'ordinateur ne comprend que le binaire. Un compilateur est un programme qui traduit le code source en code machine. Il lit l'intégralité de votre programme, vérifie les erreurs et génère un fichier exécutable. Une fois compilé, le programme s'exécute sans le compilateur.

Les compilateurs ne se contentent pas de traduire ; ils optimisent. Un bon compilateur supprime les instructions redondantes, réorganise les opérations et alloue efficacement les registres. Le gain de vitesse entre une traduction naïve et une traduction optimisée peut être d'un facteur dix.

Étapes de la compilation

• Analyse lexicale : décompose le code en jetons
• Analyse syntaxique : construit un arbre syntaxique
• Analyse sémantique : vérification des types et de la portée
• Optimisation : améliore les performances
• Génération de code : produit du code machine

Tous les langages n'utilisent pas de compilateurs. Les langages interprétés, comme Python, exécutent le code ligne par ligne. Les compilateurs JIT (Just-In-Time) combinent les deux approches, en compilant les portions de code fréquemment utilisées à l'exécution. Chaque stratégie privilégie la vitesse d'exécution au détriment de la vitesse de démarrage.