4 ms·
`ord` is a hash function which preserves alphabetical ordering, etc. It's not that hard, in many cases, to find an `f : DataDomain -> Int` st. `f(x1) < f(x2)`
by mjburgess 3y ago
`ord` is a hash function which preserves alphabetical ordering, etc.
It's not that hard, in many cases, to find an `f : DataDomain -> Int` st. `f(x1) < f(x2)` where `hash(x1) < hash(x2)`