Langages de programmation Ordinateurs = Machines à exécution. D’où la nécessité d’outils de communication qui s’adaptent le mieux aux utilisateurs. Comment faire pour communiquer ? Langage naturel Langage machine
Langages de programmation Langage de programmation est un outil de communication qui permet de donner des instructions à un ordinateur. Langage d’assemblage : Premier langage de programmation (associer des mnémoniques aux codes binaires). Constructions syntaxiques ayant une sémantique
Familles des langages de programmation Famille des langages impératifs amille des langages déclaratifs Langages évolués : utilisation de constructions proche du langage humain
Langages impératifs Basés sur les états de la mémoire effet de bord (affectation) État 1 État 2 Instructions offrent des structures de contrôle produisent des codes performants ex : Pascal, C, … etc. constructions syntaxiques loin d’être naturel
Langages fonctionnels s’affranchit radicalement des effets de bord (purement fonctionnel) s’appuie sur l’utilisation des fonctions facilité et simplicité de programmation efficacité discutable ex : Lisp, ML (CamlLight, Ocaml)
Langage fonctionnel Possède des aspects impératifs Dispose de deux environnements de programmation : interactif et compilé Introduction à Objective Caml
Compilation Processus de transformation d’un code source en code exécutable Code produit Directement exécutable sur microprocesseur Code octect nécessitant une machine virtuelle
Commande de compilation OCaml OcamlLance le mode interactif OcamlrunInterprète de code-octet OcamlcCompilateur de code-octet OcamloptCompilateur de code natif