[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: hash-consing bignums and eq==eql

From: Stefan Monnier
Subject: Re: hash-consing bignums and eq==eql
Date: Wed, 29 Aug 2018 15:23:44 -0400
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux)

>> BTW, hash-consing bignums would have the following advantages:
>> - EQ is equivalent to EQL for all integers.
> I think that's the one to focus on, instead of splitting the vote
> between the hash-consers and the slow-EQers.

For me the only question is *how* to get EQ==EQL in general.  I think
making it true for bignums is the first step.  And using hash-consing on
bignums is the only way to do that without any negative impact on
existing code (i.e. the path of least resistance).

When we get to making EQ==EQL for floats as well, we may indeed decide
to drop hash-consing, but AFAICT the mood here is not in favor of making
it happen now.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]