Un langage de programmation est le langage formel par lequel l'utilisateur décrit ses algorithmes dans le but de résoudre ses problèmes sur une machine déterminée.
Il offre principalement:
• des outils permettant de représenter un ou des ensembles de classes d'objets;
• un ensemble d'actions atomiques définies par des fonctions et des opérateurs applicables aux classes d'objets représentés. Ces actions atomiques sont appelées primitives de base du langage;
• un ensemble de règles de syntaxe qui indiquent au programmeur comment il doit rédiger son programme.
La plupart des langages de programmation largement diffusés donnent des possibilités d'applications restreintes parce qu'ils sont orientés soit vers des applications de calcul scientifique, soit vers le domaine de la gestion. Récemment, plusieurs langages ont été conçus ou étendus de manière à être mieux adaptés à d'autres domaines et en particulier, à celui du traitement de l'information non numérique.
Depuis les années soixante, un grand nombre de langages de programmation ont été construits. Parmi les langages les plus souvent pratiqués on peut citer :
¨ en applications numériques et techniques:
Þ FORTRAN (Formula Translator) (depuis 1957)
Þ ALGOL (Algorithmic Language) (depuis 1957)
Þ APL (A Programming Language) (depuis 1957)
Þ Pascal (en hommage au mathématicien et philosophe Blaise Pascal)
(depuis 1970)
Þ Ada (en hommage au premier programmeur féminin, la Comtesse de Lovelace, Lady Ada Byron) (depuis 1979)
Þ C (de Nr. "C") (depuis 1972)
Þ MODULA-2 (Modulares Programmieren) (depuis 1978)
Þ FORTH (Fourth Language) (depuis 1969)
Þ Occam (d'après William Occam) (depuis 1984)
¨ en applications de gestion:
Þ COBOL (Common Business Oriented Language) (depuis 1960)
¨ un langage plus général, dans le but de créer un moyen de communication entre le calcul numérique et le domaine de la gestion:
Þ PL/1 (Programming Language 1) (depuis 1965)
¨ en intelligence artificielle:
Þ LISP (List Programming) (depuis 1959)
Þ PROLOG (Programming in Logic) (depuis 1970)
Þ LOGO (du grec : Logos = le mot) (depuis 1967)
¨ surtout dans l'enseignement:
Þ BASIC (Beginner's All-purpose Symbolic Instruction Code)
(depuis 1965)
Þ COMAL (Common Algorithmic Language) (depuis 1973)
¨ et à ne pas oublier les langages symboliques
Þ ELAN (Elementary Language) (depuis 1981)
Þ PILOT (Programmed Inquiry, Learning or Teaching) (depuis 1969)
Le langage FORTRAN, créé par IBM, est un des premiers langages évolués de programmation. C'est, avec COBOL, le langage le plus répandu dans le monde de la programmation. Le langage FORTRAN est un langage destiné essentiellement 8 la mise en oeuvre de calculs numériques et techniques; quant au langage COBOL, il a été conçu spécialement pour le traitement de caractères comme par exemple des applications en gestion administrative et comptable. FORTRAN bénéficie de nombreux ajouts. On connaît les versions FORTRAN II (1958), FORTRAN IV (1962), FORTRAN 77 (1977) et ce langage ne cesse pas d'évoluer.
Quoique FORTRAN IV dispose d'une grande puissance de formulation, ce langage est non-structuré, contrairement à la conception actuelle d'un "bon" langage de programmation. Comme tout de même bon nombre d'algorithmes ont été formulés en FORTRAN et sont disponibles sous formes de gigantesques librairies [angl. library's; all. Bibliotheken], sa "survie" n'est pas menacée.
ALGOL, d'origine universitaire, est un langage mathématique formel. Il bénéficie d'une grande puissance de calcul et de riches possibilités. Par le fait qu'il permet une structuration en blocs, l'utilisateur est incité à rédiger ses algorithmes suivant la méthode modulaire qui évite toute une classe d'erreurs. On connaît les versions ALGOL 60 (1960) et ALGOL 68 (1968).
PL/1, Pascal et MODULA possèdent une structuration similaire à celle du langage ALGOL. Comme ils sont relativement coûteux en temps machine, les langages ALGOL, PL/1, PASCAL ainsi que MODULA sont beaucoup moins utilisés que par exemple FORTRAN IV.
APL est un langage de communication homme-machine, dont la notation est proche de la notation algébrique.
Dans le domaine de l'intelligence artificielle [angl. artificial intelligence; all. Künstliche Intelligenz] les chercheurs utilisent les langages LISP et PROLOG. Ces derniers permettent, de façon commode, l'accès à des structures très complexes.
Récemment, des universitaires français ont réalisé dans le cadre de la recherche des langages de programmation le langage Ada, en hommage au premier programmeur féminin, la Comtesse de Lovelace, Ada BYRON, assistante du mathématicien anglais Charles BABBAGE. Ce langage a été retenu par le Ministère de la Défense américain pour ses applications "temps réel".
Le BASIC est un langage de programmation précis, simple et facile à comprendre, conçu pour l'utilisateur par consoles éloignées et en temps partagé de certains ordinateurs de puissance moyenne. C'est surtout le langage le plus utilisé par toute une gamme de micro-ordinateurs actuels.
LOGO se présente comme un langage de programmation qui réunit les principes fondamentaux des langages BASIC, PASCAL et LISP. Il a été conçu surtout à l'intention de l'enseignement.
Termes techniques
• intelligence artificielle
• langage de programmation
• librairie
• méthode modulaire
• outil
• primitive de base
• règle de syntaxe
• structuration en blocs
Figure 3.2 Arbre généalogique des langages de programmation
© Aflo Informatique , 2003-2004