From mboxrd@z Thu Jan 1 00:00:00 1970
Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail
From: Philipp Stephani
Newsgroups: gmane.emacs.bugs
Subject: bug#42147: 28.0.50; pure vs side-effect-free, missing optimizations?
Date: Thu, 2 Jul 2020 21:09:04 +0200
Message-ID:
References: <3A9CC2A3-8307-47B2-8D80-795C0AF020E1@acm.org>
<0433A879-C98D-4B1A-B85C-A15DA9289099@acm.org>
<1621669100.2102667.1593639091621@mail.yahoo.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214";
logging-data="22473"; mail-complaints-to="usenet@ciao.gmane.io"
Cc: Paul Eggert , Stefan Monnier ,
Andrea Corallo , 42147@debbugs.gnu.org
To: Mattias =?UTF-8?Q?Engdeg=C3=A5rd?=
Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Thu Jul 02 21:10:10 2020
Return-path:
Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org
Original-Received: from lists.gnu.org ([209.51.188.17])
by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.92)
(envelope-from )
id 1jr4b4-0005jX-8r
for geb-bug-gnu-emacs@m.gmane-mx.org; Thu, 02 Jul 2020 21:10:10 +0200
Original-Received: from localhost ([::1]:60336 helo=lists1p.gnu.org)
by lists.gnu.org with esmtp (Exim 4.90_1)
(envelope-from )
id 1jr4b3-00035K-7j
for geb-bug-gnu-emacs@m.gmane-mx.org; Thu, 02 Jul 2020 15:10:09 -0400
Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:44158)
by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.90_1) (envelope-from )
id 1jr4aw-000358-5X
for bug-gnu-emacs@gnu.org; Thu, 02 Jul 2020 15:10:02 -0400
Original-Received: from debbugs.gnu.org ([209.51.188.43]:44136)
by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
(Exim 4.90_1) (envelope-from )
id 1jr4av-00028L-Rk
for bug-gnu-emacs@gnu.org; Thu, 02 Jul 2020 15:10:01 -0400
Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
(envelope-from ) id 1jr4av-0007IQ-KP
for bug-gnu-emacs@gnu.org; Thu, 02 Jul 2020 15:10:01 -0400
X-Loop: help-debbugs@gnu.org
Resent-From: Philipp Stephani
Original-Sender: "Debbugs-submit"
Resent-CC: bug-gnu-emacs@gnu.org
Resent-Date: Thu, 02 Jul 2020 19:10:01 +0000
Resent-Message-ID:
Resent-Sender: help-debbugs@gnu.org
X-GNU-PR-Message: followup 42147
X-GNU-PR-Package: emacs
Original-Received: via spool by 42147-submit@debbugs.gnu.org id=B42147.159371696427986
(code B ref 42147); Thu, 02 Jul 2020 19:10:01 +0000
Original-Received: (at 42147) by debbugs.gnu.org; 2 Jul 2020 19:09:24 +0000
Original-Received: from localhost ([127.0.0.1]:55680 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from )
id 1jr4aK-0007HJ-Cp
for submit@debbugs.gnu.org; Thu, 02 Jul 2020 15:09:24 -0400
Original-Received: from mail-oi1-f175.google.com ([209.85.167.175]:39708)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from ) id 1jr4aH-0007H4-PX
for 42147@debbugs.gnu.org; Thu, 02 Jul 2020 15:09:23 -0400
Original-Received: by mail-oi1-f175.google.com with SMTP id w17so23845964oie.6
for <42147@debbugs.gnu.org>; Thu, 02 Jul 2020 12:09:21 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025;
h=mime-version:references:in-reply-to:from:date:message-id:subject:to
:cc:content-transfer-encoding;
bh=x4S31wNhTpGkiWlwDKEfitxFEb7Gk1ORsbE1uSmpeAI=;
b=pwXVs4BtEvAv9wKemI4hDlmB9CiGmUNgHjU8PjaUoEd1PT8GpOxC8yzxzH+6BJQSf4
oOf35p5BqNPMOD8nO25H29aNPK5TqWfZ3Xk2VDdnfFy2lXZ+Z4lZpbNbDPvQI41ot1LO
589WELbdj7+Ayem2tvjqNGlt2m4GGjFkKOaMhtyEsgC15nlaCz6UwlwZBviNegan3/b9
vcvmRLfqFFA2/w7ar4b5C0W+c0S5V+YLhu/HkvSya20ZEVJS5d2N9qlDC55+ba8fvMns
if4ugbmlGmettb08uGhWmvyCjOgFDhFSEG4ZJZq8s0yj5SxUccXrQ+JUwDLQCvZ3mZ/l
GfoQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20161025;
h=x-gm-message-state:mime-version:references:in-reply-to:from:date
:message-id:subject:to:cc:content-transfer-encoding;
bh=x4S31wNhTpGkiWlwDKEfitxFEb7Gk1ORsbE1uSmpeAI=;
b=QwJqaKV+aTYj6QaOoERYUKvmlnabfa9AGOoDFhTxAumNQkkfBTO6m3PVpvUxXb2l8w
dCt2sLLxU32V6VOMnyPncl1agg6FaTjNE2GFtjAEqDD9hulnAxcTwKsUbuWSoQr3F9DJ
n2lT4BuN0duXwJmn/AaDFSj6gYKVFl5FbbpNiOdv9e+tnIdB0vqTrk/SygvxB9YnC6OB
l0VNMLjkLYw1GrVfZJTy4KUuAzroiKnpFyStYlRTYqj4agqcXqC63MGQeHhgiHa+806n
m4Fq4cGQGQ4hSiIVCKTDL1aI7TidS/8M66tTMO8Ka9Qv9d1Y5hINndfxSOwnz7EhIb89
pwaw==
X-Gm-Message-State: AOAM530aw+1PLVyo6fGX4FFlsoEwpE79R4ZD1pX2Mw0vfAS3jtoj1fkg
SdJltBg4mwaHlnwiUOdJ0ZlkeiPsCsEzHFsq1Ic=
X-Google-Smtp-Source: ABdhPJy+K3ecNpbXZ8+fifzSj1ImqAUYte/onLvXz1LJ3JFugC28xJQ7qn9/oo45GLMzr/4GduAxHb7bJI4j+XRxM4c=
X-Received: by 2002:aca:b883:: with SMTP id i125mr25460052oif.65.1593716956073;
Thu, 02 Jul 2020 12:09:16 -0700 (PDT)
In-Reply-To:
X-BeenThere: debbugs-submit@debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
X-BeenThere: bug-gnu-emacs@gnu.org
List-Id: "Bug reports for GNU Emacs,
the Swiss army knife of text editors"
List-Unsubscribe: ,
List-Archive:
List-Post:
List-Help:
List-Subscribe: ,
Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org
Original-Sender: "bug-gnu-emacs"
Xref: news.gmane.io gmane.emacs.bugs:182644
Archived-At:
Am Do., 2. Juli 2020 um 12:28 Uhr schrieb Mattias Engdeg=C3=A5rd :
>
> 1 juli 2020 kl. 23.31 skrev Andrea Corallo :
>
> > Another reason why I'm interested is that I reuse these
> > definitions in the native compiler.
>
> In that case there are probably more functions you may want to consider f=
or purity -- what about:
>
> < > <=3D >=3D =3D /=3D
> string< string=3D string-equal
> eq eql equal
> proper-list-p
> identity
> memq memql member
> assq assql assoc
I don't think most of those are pure, as they have to "look into" an
object. For example, the result of "equal" does not only depend on the
argument objects, but also the objects they refer to.