Remonter

PF INFO4

Équipe enseignante

Programme de l'enseignement

Documents du cours

Attention, les polycopiés suivants sont "vivants" ! Ils seront mis à jour au fur et à mesure du semestre. Il est donc recommandé de consulter la version en cours directement sur écran. Si vous préférez tout de même une version papier, pensez à imprimer régulièrement les pages nécessaires (et seulement celles-là).
Consignes pour installer l'environnement de travail
Poly de TP
Poly de TD avec en supplément un fichier Rocq pour les preuves sur les listes
Recommandations et remarques diverses

Supports de CM

Les documents du tableau ci-dessous sont regroupés par ordre thématique.

Enseignement Contenu Fichiers à récupérer
Chapitre 01 Introduction à OCaml
types de base,
let, fun,
type somme, match 		Transparents du cours
Chapitre 02 Logique et programmation fonctionnelle,
récurrence structurelle 		Transparents du cours
Chapitre 03 Évaluation, let et let rec Transparents du cours
Chapitre 04 Ordre supérieur, typage Transparents du cours
Chapitre 05 Exceptions Transparents du cours
Chapitre 06 Analyse syntaxique Transparents du cours

Fichiers ml :
analyse de listes,
analyse de listes avec exemples

Combinateurs d'analyseurs :
initiation
version de référence
version avec exemples

Points clé

vidéos de 2020
(attention, les notations étaient un peu différentes)

Complément à initiation, dédié à l'opérateur étoile de Kleene
Chapitre 07 Aspects impératifs Transparents du cours
Exemples exécutés
Chapitre 08 Modules, foncteurs et compilation en OCaml Transparents du cours
Exemples
Chapitre 09 Lambda-calcul Fichier org
Fichier Ocaml

Planning

Aller sur planning.html.
Les dates des séances étant irrégulières, il est impératif de consulter ADE pour s'y retrouver.

Livres et sites web