Happy Happy Joy Joy (was: On to Hydro)

[Tyler Close]

Markm wrote:
> E absolutely needs an equality-based hashtable primitive,
> and one cannot be
> built from equivalence-based hashtable.

Sure it can. Equality is a valid implementation of equivalence. If the
E hashtable constructor is made to use equality by default, but
support a user defined equivalence parameter, and if the resulting
userland set or map does not expose the equivalence predicate, then E
can have equivalence based maps and sets, as well as non-determinism
hiding equality based maps and sets all in one hashtable
implementation. (that might be the longest sentence I've ever written
;)

I've implemented the new version of Hydro to support this paradigm. I
should be posting the new version on waterken.com sometime this
morning.

Tyler


__________________________________________________
Do You Yahoo!?
Talk to your friends online with Yahoo! Messenger.
http://im.yahoo.com