[Note : 15 /20] Projet UE Programmation Fonctionnelle Avancée (Université Paris Cité, M1) : Au lieu de faire écrire un programme par un programmeur, un utilisateur donne quelques exemples d’une entrée et de la sortie attendue du programme. Puis, le programme va produire un programme qui est cohérent avec les exemples fournis.