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
Hash clash in polymorphic variants
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-01-11 (13:55)
From: Jon Harrop <jon@f...>
Subject: Re: [Caml-list] Hash clash in polymorphic variants
On Friday 11 January 2008 13:30:29 Kuba Ober wrote:
> Are those collisions of any real importance? I mean, do they break
> anything? If all they do is imply linearly searching a list of a few
> elements, for the colliding entry, then it's a non-issue?

It would prevent code from compiling so it would be a complete show-stopper.

In this case, there is a chance that a hash clash in names that I have no 
control over would break my OpenGL bindings at some point in the future.

A theoretical solution would be to grow the bindings and avoid clashes in 
identifiers included in later versions of OpenGL by adding random suffixes. 
Although this works in theory, in practice it places the burden of a linear 
search on the programmer who must then sift through the bindings to find out 
if the identifier they want to use happens to have had an internal clash in 
my bindings and, therefore, would require them to use a different identifier.

Dr Jon D Harrop, Flying Frog Consultancy Ltd.