Browse thread
Hash clash in polymorphic variants
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| 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. http://www.ffconsultancy.com/products/?e