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.
Pierre Boudes
Bienvenue sur ma page web professionnelle. Je m’appelle Pierre Boudes. Titulaire d’un doctorat de mathématiques obtenu en 2002, je suis maître de conférences en informatique à l’université Paris 13, depuis septembre 2005.
Plus précisément, je suis :
– chercheur en théorie de la démonstration et de la programmation au laboratoire d’informatique de Paris nord (LIPN), UMR CNRS 7030.
– enseignant (et parfois semi-administratif) à l’institut Galilée.
Habituellement, je réponds dans la journée ou le lendemain aux courriels adressés à : boudes@univ-paris13.fr. Vous pouvez également me contacter par d’autres moyens.
J’ai réduit ma présence sur le Fediverse à deux comptes Mastodon :
– professionnel
– personnel.