Les langages de programmation se présentent sous différentes formes et tailles : interprétés et compilés, avec un typage faible et strict, de bas niveau et de haut niveau, concis et expressifs. Il existe de nombreux segments dans lesquels vous pouvez classer le langage de programmation, bien qu'ils n'aient pas tous la même importance.
L'une des façons les plus courantes de classer les langages est de les organiser en paradigmes. Le paradigme peut être considéré comme un groupe de langages ayant des caractéristiques similaires. À l'heure actuelle, de nombreux paradigmes sont utilisés : procédural, fonctionnel et orienté objet. Nombre de ces termes sont souvent mal appliqués ou confondus. Il existe également un certain degré de chevauchement entre les différents paradigmes, ce qui complique la tâche.
Pour les débutants qui n'ont pas compris le sujet, il sera assez difficile de comprendre tous ces paradigmes. Dans cet article, nous allons nous pencher sur l'un d'entre eux - le paradigme de la programmation impérative.
Qu'est-ce que la programmation impérative?
La programmation impérative est un paradigme de développement logiciel dans lequel un programme décrit des étapes qui modifient l'état d'un ordinateur. Ce paradigme exige une compréhension des fonctions nécessaires pour résoudre le problème, et non une confiance dans des modèles capables de le résoudre. Dans la programmation impérative, une attention particulière est accordée à la manière dont le problème doit être résolu, ce qui nécessite un guide détaillé étape par étape. Comme le code écrit exécute des fonctions au lieu de modèles, le programmeur doit coder chaque étape. Les programmes écrits de cette manière sont souvent compilés en fichiers exécutables binaires, qui sont plus efficaces, puisque toutes les instructions du processeur sont elles-mêmes des opérateurs impératifs.
Objectif de la programmation impérative
Le style impératif utilise des opérateurs qui modifient l'état du programme. L'état du programme n'est rien d'autre que le contenu de la mémoire à un moment donné. En programmation informatique, l'opérateur d'affectation définit ou réinitialise la valeur stockée dans les emplacements mémoire désignés par le nom de la variable. Dans la plupart des langages de programmation impératifs, tels que C, C++, Java, Kotlin, PHP, l'opérateur d'affectation est une construction fondamentale.
La valeur du paradigme impératif
De nombreux langages de programmation sont basés sur le paradigme du style impératif, et ils sont encore utilisés aujourd'hui. Cela s'explique probablement par le fait que l'approche impérative est une forme originale de programmation. Et bien qu'il existe des modèles alternatifs, le paradigme impératif présente toujours plusieurs avantages pratiques.
Les langages sont assez faciles à apprendre, car le code peut être lu comme des instructions étape par étape. C'est pourquoi, en règle générale, les programmeurs commencent d'abord par apprendre le langage impératif.
Dans les opérations quotidiennes, le facteur le plus important est la facilité de lecture. En fin de compte, différents employés peuvent maintenir et optimiser les applications sans effort, et pas seulement une personne particulière qui a écrit le code.
Les langages impératifs
Tous les langages impératifs modernes remontent à trois langages impératifs:
FORTRAN (The IBM Mathematical FORmula TRANslating system) - le premier langage dans lequel il n'y avait pas de frontières de code machine. Il a été développé en 1955 par John Backus et est encore largement utilisé pour les applications numériques.
ALGOL 60 est un langage algorithmique développé dans les années 1650 par un comité mixte euro-américain. C'est le premier langage structuré par blocs qui a facilité l'utilisation d'algorithmes mathématiques.
COBOL est un langage commun orienté business. Il a été créé pour traiter des fichiers de données volumineux.
Un grand nombre de langages impératifs modernes suivent le style issu d'Algol 60. Ces langages comprennent Ada et Pascal et peuvent donc être décrits comme des langages de style Algol. Il existe également un groupe important de langages qui peuvent être décrits comme des langages de style C, notamment le langage orienté objet C++ et Java.