Stratégies d’évaluation en programmation

📋 Plan du Cours

1. Stratégies d’évaluation
2. Différences syntaxiques
3. Exemple d’évaluation
4. Évaluation d’une expression
5. Préservation des types

📖 1. Stratégies d’évaluation

🔑 Notions clés & Définitions

• Stratégie d’évaluation : méthode qui détermine comment et quand une expression dans un langage de programmation est évaluée (par exemple, évaluation immédiate ou différée).
• Évaluation stricte (ou évaluation immédiate) : l’expression est évaluée dès qu’elle est rencontrée, sans délai. Exemple : langage C, Python.
• Évaluation paresseuse (ou évaluation différée) : l’évaluation d’une expression est retardée jusqu’à ce que sa valeur soit réellement nécessaire. Exemple : Haskell.
• Évaluation par ordre d’évaluation : règle qui précise dans quel ordre les sous-expressions sont évaluées (gauche à droite, droite à gauche, etc.).
• Préservation des types : propriété selon laquelle l’évaluation d’une expression ne modifie pas son type, garantissant la cohérence du typage dans le langage.

📝 Points essentiels