BookeldOr :

       Objective Caml version 3.08.3
# let a = 3;;
val a : int = 3
# a;;
- : int = 3
# let c = 'a' ;;
val c : char = 'a'
# let i : int = (Obj.magic c);;
val i : int = 97
# let w : char = (Obj.magic 98);;
val w : char = 'b'
#

Ouais c'est bien ça donc.

OK, donc les char et les int ont la même représentation en interne (comme j'ai dit dans mon post c'est effectivement plausible), mais a priori pour les floats comme l'opérateur de comparaison n'est pas du tout le même il y a forcément un moyen de distinguer entre int et float dynamiquement...



Sally> beuh, l'algo d'inférence de type est pas assez malin pour savoir tout seul quoi faire dans ces cas-là ? c'est vrai que ça peut devenir une limitation pénible, si il faut passer son temps à caster manuellement vers le type voulu :/