Premières prise de contact avec le langage et le REPL. Typage. Types de base, listes, tuples, fonctions, correspondance de motifs (pattern-matching). Pour que les fonctions soient des objets de première classe il faut associer à chaque fonction non seulement son code mais aussi son contexte (sa clôture). Illustration de cette nécessité des clôtures par ce dont son absence nous prive, avec un exemple en langage C.
Anciens cours (avant 2015-2016)
Quelques uns des cours que j’ai donné avant l’année universitaire 2015-2016.
- Administration de parc informatique (cours sur machines, L2, (...)
- Algorithmique et arbres (L2 cours/TD 2005-2011)
- Algorithmique et programmation, puis bases de la programmation (DUT R&T (...)
- Architecture et système (L2, TD/TP, 2009-2010)
- Architecture, systèmes, réseaux (L2 TD/TP, 2005-2008)
- Bases de la programmation (DUT R&T 1)
- Calculabilité (TD, L3 info, 2007-2009)
- Conduite et gestion de projets (M1, suivi)
- Éléments d’informatique (L1 cours, TD, TP, 2008-2012+)
- Initiation à la robotique (L1)
- Initiation aux interfaces graphiques et au web (L1 TD/TP, 2005-2007)
- Logique, interaction et complexité (M2 PLS, cours, 2009-2010)
- Mini-cours ou conférences autour du web
- Programmation avancée (L3)
- Programmation fonctionnelle (L3, 2013-2014)
- Programmation impérative (L1 2013-2014)
- Systèmes d’exploitation (TD/TP ing. 1 info, 2007-2009)