From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Thibaut Verron Newsgroups: gmane.emacs.help Subject: Re: Morally equivalent Date: Mon, 17 Oct 2022 11:15:15 +0200 Message-ID: References: <87y1tfzhzm.fsf@undisclosedlocation.com> <877d0zfjqa.fsf@web.de> <87pmer9hrn.fsf@disroot.org> <83zgdv2bls.fsf@gnu.org> Reply-To: thibaut.verron@gmail.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="39041"; mail-complaints-to="usenet@ciao.gmane.io" Cc: help-gnu-emacs@gnu.org To: tomas@tuxteam.de Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Mon Oct 17 11:18:20 2022 Return-path: Envelope-to: geh-help-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 1okMGK-0009zZ-39 for geh-help-gnu-emacs@m.gmane-mx.org; Mon, 17 Oct 2022 11:18:20 +0200 Original-Received: from localhost ([::1]:55408 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1okMGJ-0007o4-2w for geh-help-gnu-emacs@m.gmane-mx.org; Mon, 17 Oct 2022 05:18:19 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:47474) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1okMDb-0007hI-EY for help-gnu-emacs@gnu.org; Mon, 17 Oct 2022 05:15:36 -0400 Original-Received: from mail-io1-xd30.google.com ([2607:f8b0:4864:20::d30]:44724) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1okMDZ-0001GW-MS for help-gnu-emacs@gnu.org; Mon, 17 Oct 2022 05:15:31 -0400 Original-Received: by mail-io1-xd30.google.com with SMTP id r142so8523286iod.11 for ; Mon, 17 Oct 2022 02:15:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=cc:to:subject:message-id:date:from:reply-to:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=q1OT04mxZ1s2LBqNRtZ6ng9WyMEu10Mn2u9c3Mp459E=; b=Qc4isogwx1CCFBk14OqwcJfeBDxpP/FDkmWCWBW2JAdA8xfGIduytUVS2+dKA/WrMp U9/Ya8PDb6l2uKgScE37rhqcTxip3cXvsQShlWth7oTt8GHdW24ynUmRMu9oplPnZGIP ao1o4kCLB9GjOXG5zRyYokB18gSJ1V2qn68jkXImpyUMsZQvi6EOMV9xIQbOAFuCZDbQ fph5mrwk7vSTsoA9T3FYpVK0amsVaY2qhZL15eH3RB8SuRRIZYOyymTqTswBpKYICeXN lcnkkomV8v5DN9B0Q6YJZ203ILHFc2VN6/p5w4vqOIniHPJ53xupZUERi5WMk3QMy6v5 lfsg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=cc:to:subject:message-id:date:from:reply-to:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=q1OT04mxZ1s2LBqNRtZ6ng9WyMEu10Mn2u9c3Mp459E=; b=a/UlXfLH/QBokwYFMFZjC2BBwFd7sebf1W9GvctEMnRx75rFsCOKtVP0NdP1ddXhID edwhQQvbSjeuGQNt0G4H0JRdggHQEBquCeu8LdKkayGOQLyojbfh5VXBpOkkdu3kbFGZ w5nBH/y5/tj6XZzarTu9cc9d+2+BKONcfLHMX4W/0Do1ZAuVXQSyREI1xVI0guadvNK7 odGYy1esW8dLFJ7nJMJvgTim7rwOsa1gr3JY9/71pzUCHpVHTcsfWWijsiAGJn5FvdLF eX+7vBSmFKrT4cjxe7Kwkz3szQ1MzRdM3mJci/LzzjgPAVMoSsbILyrHZ2P4xWq+HCx4 jQxg== X-Gm-Message-State: ACrzQf1RDvQOltRKOVp4OAStDd5aukdbHGkhY1WPh+lsK5kxXlozoHuS ch5FDyPlAhcE3uHWaPSFhl2lYH7rg4GI1ICMFWrGAPtj X-Google-Smtp-Source: AMsMyM7DrcD45+f8xV49Bqn08nxu8+TQtFEKnnT9qcl2gdm+gFDAn24sY9bsuHJoPBIFF3JQONu4k9Ef4DkfHvz42aw= X-Received: by 2002:a05:6638:1b0f:b0:363:b6a1:bd23 with SMTP id cb15-20020a0566381b0f00b00363b6a1bd23mr4893417jab.152.1665998127706; Mon, 17 Oct 2022 02:15:27 -0700 (PDT) In-Reply-To: Received-SPF: pass client-ip=2607:f8b0:4864:20::d30; envelope-from=thibaut.verron@gmail.com; helo=mail-io1-xd30.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Content-Filtered-By: Mailman/MimeDel 2.1.29 X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: "help-gnu-emacs" Xref: news.gmane.io gmane.emacs.help:140072 Archived-At: Le lun. 17 oct. 2022 =C3=A0 09:50, a =C3=A9crit : > On Mon, Oct 17, 2022 at 09:44:15AM +0300, Eli Zaretskii wrote: > > > From: Akib Azmain Turja > > > Cc: help-gnu-emacs@gnu.org > > > Date: Mon, 17 Oct 2022 10:49:16 +0600 > > > > > > This should be: > > > > > > --8<---------------cut here---------------start------------->8--- > > > This is almost equivalent to (setf PLACE (cons NEWELT PLACE)), > > > except that PLACE is evaluated only once (after NEWELT). > > > --8<---------------cut here---------------end--------------->8--- > > > > Why not just "This is similar to"? > > Back to topic, yes. It seems that this phrase is too jargon-ish to be > easily understandable to everyone. > Isn't there the technical term "functionally equivalent" for something that will have the exact same outcome with possible differences in implementation? If the goal is to reduce the jargon, it could just be "the end effect is the same as that of (...), but PLACE is evaluated only once". It's not rigorously true, because the outcome will be different if evaluating PLACE has side effects. But imo this is such an outlandish scenario (if it can even happen in the first place) that it doesn't need to be the primary focus of the docstring of push. And someone who is dealing with such a scenario should be able to infer the potential consequences just by being reminded that PLACE will be evaluated as many times as it appears. I personally find "morally equivalent" or "almost equivalent" clearer than "similar": "similar" could refer to any other aspect of the object, besides the functionality. Best wishes, Thibaut