Plan
- Les listes et la récursion sur les listes
- Deux exemples classiques de récursion sur les listes, les fonctions
sommedes termes etlongueurd'une liste - Le typage comme source de cohérence des programmes
- et si l'on abstrayait un peu plus ?
- Les exemples finaux (
ajout-en-finetsomme-cumulee) exposent de nouvelles situations mais peuvent être sautés.