Différences entre versions de « Programmation déclarative »

De Didaquest
Aller à la navigationAller à la recherche
(Page créée avec « '''Définition:''' *<p dir="ltr" style="text-align: justify;"><span style="font-size:;">La programmation déclarative est un paradigme de programmation. Il consiste à cr… »)
 
Ligne 4 : Ligne 4 :
 
<!-- ******** Fin Définition Générale ***************************** -->
 
<!-- ******** Fin Définition Générale ***************************** -->
  
*<p dir="ltr" style="text-align: justify;"><span style="font-size:;">Il existe plusieurs formes de programmation déclarative :</span></p>
+
*<p dir="ltr" style="text-align: justify;"><span style="font-size:;">'''Il existe plusieurs formes de programmation déclarative :'''</span></p>
 
<!-- ******** Fin Définition Générale ***************************** -->
 
<!-- ******** Fin Définition Générale ***************************** -->
  
*<p dir="ltr" style="text-align: justify;"><span style="font-size:;">la programmation descriptive, à l'expressivité réduite, qui permet de décrire des structures de données (par exemple, HTML, XML).</span></p>
+
# <p dir="ltr" style="text-align: justify;"><span style="font-size:;">La programmation descriptive, à l'expressivité réduite, qui permet de décrire des structures de données (par exemple, HTML, XML).</span></p>
  
*<p dir="ltr" style="text-align: justify;"><span style="font-size:;">la programmation fonctionnelle, qui perçoit les applications comme un ensemble de fonctions mathématiques (LISP, Caml, Haskell).</span></p>
+
#<p dir="ltr" style="text-align: justify;"><span style="font-size:;">la programmation fonctionnelle, qui perçoit les applications comme un ensemble de fonctions mathématiques (LISP, Caml, Haskell).</span></p>
  
*<p dir="ltr" style="text-align: justify;"><span style="font-size:;">la programmation logique, pour laquelle les composants d'une application sont des relations logiques (Prolog, Mercury).</span></p>
+
#<p dir="ltr" style="text-align: justify;"><span style="font-size:;">la programmation logique, pour laquelle les composants d'une application sont des relations logiques (Prolog, Mercury).</span></p>
  
  

Version du 30 mai 2022 à 21:49

Définition:

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

  • Il existe plusieurs formes de programmation déclarative :

  1. La programmation descriptive, à l'expressivité réduite, qui permet de décrire des structures de données (par exemple, HTML, XML).

  1. la programmation fonctionnelle, qui perçoit les applications comme un ensemble de fonctions mathématiques (LISP, Caml, Haskell).

  1. la programmation logique, pour laquelle les composants d'une application sont des relations logiques (Prolog, Mercury).