> NB: bon, se focaliser sur le nombre que me donne caml (pour un
> algo fibo un peu ameliore bien sur, la aussi j'ai truandé) est une
> erreur, vu que ce résultat est faux (pour la meme raison que pour
> 2^64), la vraie valeur est de l'ordre de 2*10^20.
Il me semblait bien que ça pétait bien plus fort que ça avant 100 aussi, ...
Question stupide au passage : Y'a pas moyen de faire faire les tests de débordement arithmétiques en CAML ? (comme en Ada)
[^] # Re: exponentiel => indecidable
Posté par Matthieu Moy (site web personnel) . En réponse au journal couverture de code. Évalué à 2.
> algo fibo un peu ameliore bien sur, la aussi j'ai truandé) est une
> erreur, vu que ce résultat est faux (pour la meme raison que pour
> 2^64), la vraie valeur est de l'ordre de 2*10^20.
Il me semblait bien que ça pétait bien plus fort que ça avant 100 aussi, ...
Question stupide au passage : Y'a pas moyen de faire faire les tests de débordement arithmétiques en CAML ? (comme en Ada)