the SPARK formal prover is able to verify that the condition "the index of the element must exist before a replacement" cannot be verified
Il y a des chances que ce types de vérifications à la compilation coûte un peu de temps de calcul. C’est des langages qui mettent la priorité sur la fiabilité du code plus que sur la vitesse de compilation brute.
(ça répond pas à la question mais c’est probablement un élément de réponse)
[^] # Re: Perf
Posté par thoasm . En réponse au journal la rouille et la comtesse. Évalué à 5.
Extrait de l’article précédent :
Il y a des chances que ce types de vérifications à la compilation coûte un peu de temps de calcul. C’est des langages qui mettent la priorité sur la fiabilité du code plus que sur la vitesse de compilation brute.
(ça répond pas à la question mais c’est probablement un élément de réponse)