C'est pas tout à fait le même niveau de généralité non ? Ici tu fixes un type pour A et B, Integer, on a au moins besoin de paramétrer la procédure, A et B sont dans les autres exemples des variables de types qu'on doit préciser lors de l'appel à la procédure.
[^] # Re: Pour la complétude, j'ajoute le couple SPARK/Ada
Posté par thoasm . En réponse à la dépêche Programmer des démonstrations : une modeste invitation aux assistants de preuve. Évalué à 4.
C'est pas tout à fait le même niveau de généralité non ? Ici tu fixes un type pour A et B, Integer, on a au moins besoin de paramétrer la procédure, A et B sont dans les autres exemples des variables de types qu'on doit préciser lors de l'appel à la procédure.