Envoyé par
DarkVenoM
C'est un peu ce que je reproche a la programmation fonctionnelle pure, sa rigueur m'agace un peu. Alors oui c'est probablement plus facile de prouver un programme purement fonctionnelle (les fonctions récursives pourront par exemple êtres démontrées par récurences...), mais on a pas besoin tout les jours de prouver une application. Apres oui, en théorie ça permet de faire des programmes plus fiables et plus faciles a débugger, mais je doute qu'a court/moyen/long terme la programmation fonctionnelel pur apporte toujours des avantages par rapport à la programmation impérative.