LRU cache for ~=

[Andrei Alexandrescu]

Rainer Deyke wrote:
> Andrei Alexandrescu wrote:
>> Rainer Deyke wrote:
>>> Your definition of "safe" is clearly not aligned with mine.
>> What's yours?
> 
> Safety is not an absolute, but a question of degree.  The harder it is
> to write incorrect code, the safer the language.

Well you got a point. I think I will from here on talk about "soundness" 
instead of "safety", because the former is absolute.

> One key element of this is deterministic behavior.  If you rely on the
> whim of the runtime to determine if two slices refer to the same data,
> then it becomes much harder to reason about or test the code.

I agree.


Andrei