Non, il faut arrêter de croire que entiers, flottants tout ça c'est interchangeable. C'est tout simplement faux et ce sont justement les langages qui convertissent joyeusement entre les deux qui entretienent la confusion.
En OCaml les types entiers ont une arithmétique d'anneau, modulo 2^31 (ou 2^63). Mais les flottants suivent l'arithmétique IEEE 754 avec tous ses comportements bizarres (valeur NaN non comparable aux autres valeurs, non-associativité a priori des opérations, etc.)
Et ça évite ce genre d'erreur facile à faire en C: double x = a / b; où a et b sont des entiers.
[^] # Re: Pffff...
Posté par Vivi . En réponse au journal Un compte rendu de la conf sur isaac/lisaac. Évalué à 4.
En OCaml les types entiers ont une arithmétique d'anneau, modulo 2^31 (ou 2^63). Mais les flottants suivent l'arithmétique IEEE 754 avec tous ses comportements bizarres (valeur NaN non comparable aux autres valeurs, non-associativité a priori des opérations, etc.)
Et ça évite ce genre d'erreur facile à faire en C: double x = a / b; où a et b sont des entiers.