Vous avez découvert la récursion sur les listes où un problème d'un certaine taille se réduit en sous-problèmes de même nature mais de taille plus petite ce qui permet d'appliquer, pour les résoudre, les mêmes techniques que précédemment.

Vous avez également vu comment vérifier la cohérence de vos programmes avec le typage.