From: Stefan Monnier <monnier@iro.umontreal.ca>
To: Pip Cet <pipcet@gmail.com>
Cc: emacs-devel@gnu.org
Subject: hash-consing bignums and eq==eql
Date: Tue, 28 Aug 2018 10:08:57 -0400 [thread overview]
Message-ID: <jwvr2iilhg8.fsf-monnier+emacs@gnu.org> (raw)
In-Reply-To: <jwv6001gjzu.fsf-monnier+emacs@gnu.org> (Stefan Monnier's message of "Thu, 23 Aug 2018 11:56:18 -0400")
> The whole purpose of hash-consing (for me) is to avoid turning EQ into
> something like:
>
> if (BIGNUMP (x))
> return slow_eq (x, y);
> else
> return x == y;
BTW, hash-consing bignums would have the following advantages:
- EQ is just as fast as before.
- EQ is equivalent to EQL for all integers.
- While bignum operations would be somewhat slower (30-40% according to
a message I can't find any more), they'd still be faster than what
we had before (i.e. which varies between "signals an error" and "uses
a list of cons cells").
Admittedly, if we used a dedicated tag for bignums, eql could turn into
BIGNUM_OR_FLOAT_P (x) ? slow_eql (x, y) : (x == y);
where BIGNUM_OR_FLOAT_P can be just as efficient as FLOATP, so it
would be cheap enough (IMO) to make `eq` an alias for `eql`.
Stefan
next prev parent reply other threads:[~2018-08-28 14:08 UTC|newest]
Thread overview: 24+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <20180821204437.16880.99611@vcs0.savannah.gnu.org>
[not found] ` <20180821204439.62390209A6@vcs0.savannah.gnu.org>
2018-08-22 12:36 ` [Emacs-diffs] master f18af6c: Audit use of lsh and fix glitches Pip Cet
2018-08-22 13:35 ` Ken Brown
2018-08-22 13:44 ` Paul Eggert
2018-08-22 15:50 ` Pip Cet
2018-08-22 17:27 ` Paul Eggert
2018-08-22 20:05 ` Pip Cet
2018-08-22 21:53 ` Paul Eggert
2018-08-22 20:45 ` Stefan Monnier
2018-08-23 14:55 ` Pip Cet
2018-08-23 15:56 ` Stefan Monnier
2018-08-24 18:00 ` Pip Cet
2018-08-24 20:55 ` Paul Eggert
2018-08-25 15:02 ` Pip Cet
2018-08-25 18:02 ` Stefan Monnier
2018-08-25 21:24 ` Paul Eggert
2018-08-28 14:08 ` Stefan Monnier [this message]
2018-08-29 13:32 ` hash-consing bignums and eq==eql Pip Cet
2018-08-29 19:23 ` Stefan Monnier
2018-08-29 19:31 ` Paul Eggert
2018-08-29 20:50 ` Stefan Monnier
2018-09-09 3:09 ` Stefan Monnier
2018-09-09 6:26 ` Paul Eggert
2018-08-22 13:49 ` [Emacs-diffs] master f18af6c: Audit use of lsh and fix glitches Pip Cet
2018-08-22 14:52 ` Eli Zaretskii
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=jwvr2iilhg8.fsf-monnier+emacs@gnu.org \
--to=monnier@iro.umontreal.ca \
--cc=emacs-devel@gnu.org \
--cc=pipcet@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.