Functional programming

Introduction to a programming language with functional aspects: ocaml or haskell as a priority, or possibly a lisp dialect (eg scheme / racket / clojure)
Principles of functional programming: absence of edge effects, functions as first-class objects, curryfication, evaluation strategies (strict or lazy, call by name, by value)
Advanced use of recursion: definition of recursive types (list, tree), induction, terminal recursion and programming style by continuations,
Patterns and filtering, working with data in functional programming: map, reduce/fold
Possible application with a small IA-type practical / project (taking care to avoid redundancy with the IT major program in S3). Example of a possible topic: backtracking