English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Maximum non-constant constructors
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-03-17 (17:32)
From: Marcin 'Qrczak' Kowalczyk <qrczak@k...>
Subject: Re: [Caml-list] Maximum non-constant constructors
Eric Cooper <ecc@cmu.edu> writes:

> (If you examine the hash_variant function in typing/btype.ml, it's
> clear that any base-223 representation of a multiple of 2^31 in
> which the "digits" are legal identifier characters will hash to
> zero, and will therefore be an "invisible prefix".)

Beware of the birthday paradox: the probability of finding two values
with the same hash is much larger than the probability of finding a
single value with the given hash (a square root of the previous one).

   __("<         Marcin Kowalczyk
   \__/       qrczak@knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/