Du récurseur au réseau de neurones — 4 cours pour devenir un·e camleur·euse accompli·e.
Le typage fort, c'est comme une ceinture de sécurité : ça sauve des vies.
Récursion, récurseurs, listes, map/filter/fold — les bases pour ne pas ressembler à un développeur Java égaré.
Types algébriques, pattern matching, AST, bytecode — parce qu'un programme qui compile du premier coup, ça existe (en OCaml).
Option, Liste, Parsec — ou comment arrêter d'écrire des match imbriqués et retrouver une vie sociale.
Implémenter un réseau de neurones en OCaml pur. Parce que faire du ML sans PyTorch, c'est comme faire du pain sans pétrin : plus dur, mais plus gratifiant.
Tous les fichiers sources, slides et code sont disponibles dans le dépôt.