Langage de programmation
Un article de Wikipédia, l'encyclopédie libre.
Un langage de programmation est un code de communication, permettant à un être humain de dialoguer avec une machine en lui soumettant des instructions et en analysant les données matérielles fournies par le système, généralement un ordinateur. Le langage permet à la personne qui rédige un programme, de faire abstraction de certains mécanismes internes, généralement des activations et désactivations de commutateurs électroniques, qui aboutissent au résultat désiré.
L'activité de rédaction du code source d'un programme est nommée programmation. Elle consiste en la mise en œuvre de techniques d'écriture et de résolution d'algorithmes informatiques, lesquelles sont fondées sur les mathématiques. À ce titre, un langage de programmation se distingue du langage mathématique par sa visée opérationnelle (une fonction et par extension, un programme, doit retourner une valeur), de sorte qu'un « langage de programmation est toujours un compromis entre la puissance d'expression et la possibilité d'exécution. »[1]
[modifier] Langages de programmation
Les langages de programmation permettent de définir les ensembles d'instructions effectuées par l'ordinateur lors de l'exécution d'un programme. Il existe des milliers de langages de programmation, la plupart d'entre eux étant réservés à des domaines spécialisés. Ils font l'objet de recherches constantes dans les universités et dans l'industrie.
Les langages de programmation peuvent être classifiés de nombreuses manières :
- généraliste/spécialisé,
- haut niveau/bas niveau,
- interprété/compilé,
- avec/sans gestion de mémoire automatisée,
- avec/sans système de gestion d'exceptions,
- à typage fort/typage faible,
- à typage statique/typage dynamique,
- à syntaxe fixe/extensible ;
- non objet/orienté objet/purement objet,
- impératif/fonctionnel/déclaratif,
- fonctionnel pur/impur,
- etc.
Nous incluons ci-dessous une classification sommaire des langages de programmation les plus connus. Il faut garder à l'esprit que de nombreux langages appartiennent simultanément à plusieurs catégories — ils sont dits « multi-paradigmes ». Par exemple, C++ permet la programmation impérative, orientée objet et la programmation générique (à base de classes et de fonctions paramétrées nommées templates). Common Lisp est à la fois impératif, fonctionnel, orienté objet — et son caractère « programmable » (un langage de programmation programmable...) lui permet d'intégrer d'autres « paradigmes » de programmation en son sein (par exemple : la programmation logique, la programmation par contraintes).
Ci-dessous, nous listons les langages les plus connus (nous mettons entre parenthèses certains langages dérivés ou les extensions requises).
Nom | Impératif | Fonctionnel | Objets | Déclaratif | Concurrent |
4D | X | ||||
ActionScript | X | X | |||
Ada | X | X | X | ||
Algol | X | ||||
Anubis | X | X | |||
APL | X | APL2 | |||
Assembleur | X | ||||
BASIC | X | ||||
Caml | X | X | |||
CDuce | X | ||||
C | X | ||||
C++ | X | X | |||
C# | X | X | |||
COBOL | X | COBOL 2002 | |||
ColdFusion | X | ||||
Common Lisp | X | X | X | (screamer) | |
DarkBasic | X | X | |||
Eiffel | X | X | |||
Erlang | X | X | |||
Fortran | X | ||||
Forth | X | ||||
Haskell | X | (O'Haskell) | |||
ICON | X | ||||
Java | X | X | |||
Limbo | X | X | |||
Logo | X | ||||
ML | X | X | (Objective CAML) | ||
Natural | X | ||||
Objective C | X | X | |||
Oz | X | X | X | X | X |
Pascal | X | (Delphi, Kylix) | |||
Perl | X | X | X | ||
PHP | X | (PHP 4+) | |||
PL/I | X | ||||
Python | X | X | X | Stackless | |
Prolog | X | ||||
RPG ou GAP | X | ||||
Ruby | X | X | X | ||
Scala | X | X | X | X | |
Scheme | X | X | (TinyClos) | gambit, termite | |
Simula | X | X | |||
Smalltalk | X | X | |||
Tcl | X | X | (Incr Tcl, Snit, XOTcl) | ||
W-Langage | X | X (WinDev, WebDev, WinDev Mobile) | |||
XSLT | X | X |
[modifier] Langages déclaratifs
Ci-dessous, nous listons les langages spécialisés, c'est-à-dire dont l'utilisation est réservée à des domaines bien spécifiques ; les plus connus sont :
[modifier] Langages de définition de données
[modifier] Langages spécialisés pour la communication avec une base de données
- 4GL
- SAS
- SQL
- Visual FoxPro (Description)
- W-Langage (WinDev, WinDev Mobile)
- Magic eDeveloper
[modifier] Langages pour pages Web dynamiques
- Exécution par le serveur HTTP (côté serveur) :
- Exécution par le navigateur web (côté client) :
- JavaScript ou ECMAScript (dont JScript hérite avec des extensions spécifiques).
- VBScript.
- applets écrites en Java.
- Tclets écrits en Tcl.
- ActionScript de Macromedia Flash.
- XSLT.
[modifier] Langages de programmation théorique
- Machine de Turing
- Lambda-calcul
- Récursion Primitive
- Système T de Kurt Gödel
- Pi-calcul
- Join-Calcul
- Logique combinatoire
[modifier] Langages de programmation de Commande Numérique (C.N.)
Une machine-outil automatisée, ou Commande Numérique (C.N.), a besoin d'un langage de programmation pour réaliser les opérations de tournage, ou de fraisage…
[modifier] Langages de programmation des automates programmables industriels (API)
- Sequential function chart, langage graphique, dérivé du grafcet (NB : le grafcet définit les spécifications de façon graphique)
- Langage Ladder, langage graphique
[modifier] Pour rendre la programmation plus difficile
[modifier] Langages spécialisés
- CDuce : langage fonctionnel d'ordre supérieur pour la manipulation de documents au format XML.
- ABEL : langage pour la programmation électronique des PLD
- Esterel, Lustre, Signal, Lucid Synchrone : langages de programmation synchrones pour les systèmes réactifs
- R : langage pour l'outil de statistiques du même nom
- xLispStat : langage pour l'outil de statistiques du même nom
- VHDL : langage de description matérielle, permettant de synthétiser de l'électronique numérique (descriptions de portes logiques) et d'en simuler le fonctionnement
- Verilog, autre langage de description matérielle et de simulation, plus populaire aux États-Unis
- SystemC, langage de description matérielle de plus haut niveau que les précédents et permettant une simulation plus rapide
- VRML, description de scènes en trois dimensions
- Forme de Backus-Naur (BNF), formalisation des langages de programmation
[modifier] Autres langages
- Fenix
- ABAP
- Anubis
- ArmScript
- awk
- Lisaac
- Miva Script
- SNOBOL
- sed
- Scripting mIRC
- Scratch, langage gratuit, développé par le Massachusetts Institute of Technology (MIT) et orienté vers une utilisation dès l'âge de 8 ans.
- Up ! 5GL pour consolider ou construire des applications basées sur des composants.
[modifier] Notes et références
- ↑ Gilles Dowek, Le langage mathématique et les langages de programmation, Colloque Voir, entendre, raisonner, calculer, Cité des sciences et de l'industrie, La Villette, Paris, 1997 — lire en ligne [pdf]
[modifier] Voir aussi