Revue de presse Programmation_déclarative
Programmation déclarative
Un article de Wikipédia, l'encyclopédie libre.
 |
Cet article est une ébauche concernant l?informatique.
Vous pouvez partager vos connaissances en l?améliorant (comment ?) selon les recommandations des projets correspondants.
|
La programmation déclarative est un paradigme de programmation. Il consiste à créer des applications sur la base de composants logiciels indépendant du contexte et ne comportant aucun état interne. Autrement dit, l'appel d'un de ces composants avec les mêmes arguments produit exactement le même résultat, quel que soit le moment et le contexte de l'appel.
En programmation déclarative, on décrit le quoi, c'est-à-dire le problème. Par exemple, les pages HTML sont déclaratives car elles décrivent ce que contient une page (texte, titres, paragraphes, etc.) et non comment les afficher (positionnement, couleurs, polices de caractères, etc.). Alors qu'en programmation impérative (par exemple, avec le C ou Java), on décrit le comment, c'est-à-dire la solution.
Il existe plusieurs formes de programmation déclarative :
- la programmation descriptive, à l'expressivité réduite, qui permet de décrire des structures de données (par exemple, HTML, XML ou LaTeX),
- la programmation fonctionnelle, qui perçoit les applications comme un ensemble de fonctions mathématiques (LISP, Caml, Haskell),
- la programmation logique, pour laquelle les composants d'une application sont des relations logiques (Prolog, Mercury).
[] Bibliographie
Peter Van Roy, Seif Haridi. Concepts, Techniques, and Models of Computer Programming. MIT Press, 2004.
Mirror_ebab
La source est wikipedia http://fr.wikipedia.org/wiki/ Programmation déclarative
