Paradigmes de programmation

Description : Ce cours aborde différents paradigmes de programmation par l’introduction de différents langages très ‘marqués’ par ces paradigmes. On pourra s’appuyer sur des langages fonctionnels comme Haskell et Ocaml pour les approches fonctionnelles (notion d’inférence de type et d’évaluation paresseuse), Prolog pour la programmation logique, LISP pour le construction par le calcul d’expressions exécutables…

Acquis d’apprentissage : À l’issue de ce cours, les élèves auront pu penser la programmation autrement que par les méthodes classiques. Il sauront ainsi reconnaître ces paradigmes quand ils se présentent implicitement et mobiliser des résolutions idoines (par exemple, reconnaître dans la conceptions de templates récursifs en C++ une approche fonctionnelle apprise en caml, reconnaître dans les makefiles un paradigme de programmation logique, etc…). L’idée est également de pouvoir proposer des solutions élégantes à certains problèmes, sans être dépendents de ce qu’induit la structure du langage utilisé (par exemple mettre en œuvre une approche paresseuse en C++).

Modalités d’évaluation : Evaluation à partir des participations aux manipulations (TP) et des résultats rendus

Responsable de cours : Hervé Frezza-Buet

Identifiant Geode : SPM-INF-016

CM :

Cours-1 (1.5 h)
Cours-2 (1.5 h)
Cours-3 (1.5 h)
Cours-4 (1.5 h)

TP :

TP-1 (4.5 h)
TP-2 (4.5 h)
TP-3 (4.5 h)
TP-4 (4.5 h)
TP-5 (4.5 h)