Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Re: [Caml-list] getting the type of a polymorphic data ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-08-12 (14:28)
From: Diego Olivier Fernandez Pons <Diego.FERNANDEZ_PONS@e...>
Subject: Re: [Caml-list] getting the type of a polymorphic data ?

> 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 Archives:
Bug reports: FAQ:
Beginner's list: