Paradigmes de programmation

Programming paradigms

Description: This course covers different programming paradigms by introducing different languages that are strongly influenced by these paradigms. We will draw on functional languages such as Haskell and Ocaml for functional approaches (the concepts of type inference and lazy evaluation), Prolog for logic programming, and LISP for construction through the calculation of executable expressions…

Learning outcomes: At the end of this course, students will have learned to think about programming in ways other than traditional methods. They will be able to recognize these paradigms when they arise implicitly and apply appropriate solutions (for example, recognizing a functional approach learned in Caml in recursive template designs in C++, recognizing a logical programming paradigm in makefiles, etc.). The idea is also to be able to propose elegant solutions to certain problems without being dependent on the structure of the language used (e.g., implementing a lazy approach in C++).

Evaluation methods: Assessment based on participation in experiments (TP) and results returned

Course supervisor: Hervé Frezza-Buet

Geode ID: SPM-INF-016

CM:

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

TP:

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