Langages et Paradigmes (INFO531_IDU)
Présentation
Ce cours propose une introduction à la théorie des langages ainsi qu'à l'exploration des principaux paradigmes qui structurent les langages de programmation. Les étudiants découvriront les fondements de la syntaxe, de la sémantique et des mécanismes d'exécution des programmes, tout en comparant les paradigmes impératif, fonctionnel, orienté objet, logique et concurrent. L’objectif est de fournir les clés de compréhension nécessaires pour analyser, comparer et choisir les langages adaptés à différents contextes de développement. Des mises en pratique illustreront les concepts à travers des exemples concrets et des exercices de programmation.
Objectifs
Comprendre les fondements théoriques des langages de programmation.
Identifier les caractéristiques essentielles d’un langage : syntaxe, sémantique et modèles d'exécution.
Découvrir et comparer les principaux paradigmes de programmation (impératif, fonctionnel, orienté objet, logique, concurrent, etc.).
Analyser les avantages et limites des différents paradigmes selon les contextes d’usage.
Développer la capacité à choisir un paradigme et un langage adaptés à un problème donné.
Mettre en pratique les concepts étudiés à travers des exercices de programmation.
Heures d'enseignement
| Cours Magistral | 10,5h | |
| Travaux Dirigés | 9h | |
| Travaux Pratiques | 16h |
Pré-requis obligatoires
Aucun
Plan du cours
- Introduction générale
- Pourquoi étudier les langages et paradigmes
- Historique des langages de programmation
- Théorie des langages
- Syntaxe et grammaires formelles
- Sémantique : statique et dynamique
- Compilation vs Interprétation
- Paradigme impératif
- Concepts fondamentaux : états, instructions, contrôle de flux
- Exemples : C, Python (mode impératif)
- Paradigme fonctionnel
- Fonctions pures, immuabilité, récursion
- Exemples : Haskell, Scala, OCaml
- Paradigme orienté objet
- Encapsulation, héritage, polymorphisme
- Exemples : Java, Python (mode OO)
- Paradigme logique
- Programmation déclarative, résolution par inférence
- Exemple : Prolog
- Paradigme concurrent et parallèle
- Threads, processus, synchronisation
- Exemples : Java Concurrency, Erlang
- Comparaison et sélection de paradigmes
- Critères de choix d’un paradigme selon le problème
- Hybridation des paradigmes dans les langages modernes
- Applications pratiques
- Études de cas
- Exercices de mise en œuvre dans plusieurs paradigmes
Contacts
