Paradigme (programmation)
Les paradigmes de programmation sont une façon de regrouper les langages de programmation en fonction de ce qu'ils font. Les langages peuvent se trouver dans plus d'un paradigme.
Certains paradigmes s'intéressent à la façon dont le code est exécuté, par exemple en permettant des effets secondaires ou en obligeant à faire les choses dans un certain ordre. D'autres paradigmes s'intéressent à la manière dont le code est regroupé, par exemple en le mettant en un ou deux morceaux (ou plutôt en plusieurs petits morceaux). D'autres encore s'intéressent à l'ordre et aux éléments qui font que le programme est tel qu'il est.
Il existe deux grands groupes de paradigmes, impératif et déclaratif. Une langue peut être les deux en même temps.
Contenu
· 1 Programmation impérative
· 2 Programmation déclarative
· 3 Autres paradigmes
· 4 Vue d'ensemble
· 5 Problèmes liés aux paradigmes
· 6 Histoire
o 6.1 Code machine
o 6.2 Langues de procédure
o 6.3 Programmation axée sur les objectifs
o 6.4 Les paradigmes déclaratifs
· 7 Pages connexes
· 8 Références
· 9 Autres sites web
Programmation impérative
Dans les programmes impératifs, les programmeurs donnent à l'ordinateur un ensemble d'étapes ordonnées qui doivent être effectuées pour faire quelque chose. Si quelqu'un voulait que l'ordinateur dessine une tête de chat, il pourrait donner des instructions comme "Dessinez un cercle ici, deux petits cercles là, deux triangles au-dessus", etc. Les programmes impératifs ont parfois de nombreux effets secondaires.
Il y a deux grands paradigmes impératifs, et bien souvent une langue aura les deux :
- Structuré - L'ordinateur reçoit des instructions qui sont toujours dans un certain ordre. Des étapes telles que "revenir à l'étape 3" (appelées déclarations goto) ne sont pas autorisées.
- Procédure - Le programme permet au programmeur de donner un nom à une liste d'ordres, ce qui transforme ces ordres en une "procédure" qu'ils peuvent utiliser plus tard. La plupart des langages structurés sont également procéduraux.
- Orienté objet - Les idées sont expliquées à l'ordinateur à l'aide d'objets, de morceaux de code qui ont un ensemble d'ordres qu'ils peuvent recevoir et de quelques informations à leur sujet.
Programmation déclarative
Dans les paradigmes déclaratifs, le programmeur dit à l'ordinateur ce qu'il doit faire au lieu de lui dire comment le faire. S'il voulait que l'ordinateur dessine une tête de chat, il pourrait donner des instructions comme "Dessine un visage, dessine deux yeux, deux oreilles et une bouche".
Les paradigmes déclaratifs les plus connus sont :
- Fonctionnel - La plupart du travail est effectué par des fonctions sans effets secondaires.
- Logique - Un ensemble de faits est énoncé, puis une ou plusieurs "questions" sont posées.
- Événement - Des morceaux de code sont programmés pour s'exécuter lorsque certaines choses se produisent (comme la mise sous tension de l'ordinateur).
Autres paradigmes
Certains paradigmes peuvent être trouvés à la fois dans les langages impératif et déclaratif. Ces paradigmes se trouvent généralement avec l'un des paradigmes ci-dessus au lieu d'aller de soi.
Questions et réponses
Q : Qu'est-ce qu'un paradigme de programmation ?
R : Un paradigme de programmation est une façon de regrouper les langages de programmation en fonction de leur mode de fonctionnement.
Q : Quels sont les deux principaux groupes de paradigmes ?
R : Les deux principaux groupes de paradigmes sont l'impératif et le déclaratif.
Q : En quoi les paradigmes impératifs et déclaratifs diffèrent-ils ?
R : Les paradigmes impératifs s'intéressent à la façon dont le code est exécuté, par exemple en autorisant les effets secondaires ou en obligeant à faire les choses dans un certain ordre, tandis que les paradigmes déclaratifs s'intéressent à la façon dont le code est regroupé, par exemple en mettant le code en un ou deux morceaux (ou au contraire, en plusieurs petits morceaux).
Q : Un langage peut-il être à la fois un paradigme impératif et déclaratif ?
R : Oui, un langage peut être à la fois un paradigme impératif et déclaratif.
Q : Comment un paradigme de programmation regroupe-t-il des langages ?
R : Les paradigmes de programmation regroupent les langages par ce qu'ils font. Ils examinent la façon dont le code est exécuté, comment il est regroupé, et quel ordre et quelles pièces composent le programme.
Q : Existe-t-il d'autres types de paradigmes de programmation que l'impératif et le déclaratif ?
R : Oui, il existe d'autres types de paradigmes de programmation que l'impératif et le déclaratif. Par exemple, certains s'intéressent à la façon dont le code est exécuté (comme autoriser les effets secondaires), tandis que d'autres s'intéressent à la façon dont le code est regroupé (comme regrouper le code en un ou deux morceaux).
Q : Chaque langage appartient-il à un seul type de paradigme de programmation ?
R : Non, chaque langage n'appartient pas à un seul type de paradigme de programmation ; certains langages peuvent appartenir à plus d'un type de paradigme.
