Langage de programmation - Définition

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]

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).

Langages déclaratifs

• Oz
• Mercury
• Prolog pour PROgrammation LOGique
• Clips

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 :

Langages de définition de données

• ASN.1
• DTD SGML
• DTD XML
• XML Schéma
• Relax NG

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

Langages pour pages Web dynamiques

• Exécution par le serveur HTTP (côté serveur) :
  • PHP.
  • ASP.
  • JSP (issu de Java, basé sur des Servlets).
  • Python.
  • Perl.
  • Tcl.
  • Framework Ruby on Rails basé sur le langage Ruby.
  • XSP (issu de XML, soutenu par Apache).
  • Tout langage dans le cadre de Common Gateway Interface (CGI).
  • W-Langage (WebDev).

• 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.

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

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…

• Programmation de commande numérique

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

Pour rendre la programmation plus difficile

• Brainfuck (ou encore F*ckF*ck, Ook ou spoon)
• Intercal
• Malbolge
• Unlambda

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

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.

Notes et références