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.
Enseignement
J’enseigne l’informatique à l’institut Galilée, particulièrement en licence et en master d’informatique, occasionnellement en école d’ingénieur et exceptionnellement dans nos classes préparatoires.