Archives of the Caml mailing list > Message from Diego Olivier Fernandez Pons

Browse thread

Re: [Caml-list] getting the type of a polymorphic data ?

Diego Olivier Fernandez Pons
- Damien Doligez
  - Diego Olivier Fernandez Pons
    - Marcin 'Qrczak' Kowalczyk
      - Diego Olivier Fernandez Pons

Date:	-- (:)
From:	Diego Olivier Fernandez Pons <Diego.FERNANDEZ_PONS@e...>
Subject:	Re: [Caml-list] getting the type of a polymorphic data ?

    Bonjour,

> I'm not sure what do you mean, but there are 2^31 int values, half
> of them negative, which map to 2^30 hashes, all non-negative.
> Hashing an int stripts its sign bit.

Bon... J'avais raté celle là. On peut raisonnablement se contenter
d'entiers positifs pour les variables de décision mais si d'une part
hash ne laisse pas invariant le type entier, d'autre part on ne peut
pas faire la différence entre un véritable entier et une valeur
isomorphe c'est perdu d'avance.


        Diego Olivier



-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners