From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Drew Adams Newsgroups: gmane.emacs.devel Subject: RE: Predicate for true lists Date: Mon, 22 Apr 2019 02:39:01 -0700 (PDT) Message-ID: <369453e7-1052-480c-b636-c9bcc847ed7a@default> References: <87fu3vdjjk.fsf@tcd.ie> <2af892df-26cb-60b2-4fd8-067fcb3d32e9@cs.ucla.edu> <87r2kh9uwx.fsf@tcd.ie> <83h8lcnbxb.fsf@gnu.org> <87sh4s9poo.fsf@tcd.ie> <87k1q49p0i.fsf@tcd.ie> <87efgbbq2p.fsf@tcd.ie> <87a7gz8hp2.fsf@tcd.ie> <875zrn9bum.fsf@tcd.ie> <835zrm7fow.fsf@gnu.org> <878swivtcr.fsf@gmail.com> <87r2aayln2.fsf@tcd.ie> <87lg0hyidf.fsf@tcd.ie> <87tvew7bxj.fsf@tcd.ie> <89b0d471-80cf-4b70-a1e7-ab65024ed461@default> <87wojn6oh6.fsf@tcd.ie> <66b7933c-142f-4c6b-9cc0-526584cb3120@default> <877ebm268l.fsf@web.de> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="133042"; mail-complaints-to="usenet@blaine.gmane.org" Cc: "Basil L. Contovounesios" , Eli Zaretskii , Alex Branham , monnier@iro.umontreal.ca, emacs-devel@gnu.org To: Michael Heerdegen Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Apr 22 11:39:23 2019 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by blaine.gmane.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:256) (Exim 4.89) (envelope-from ) id 1hIVQ1-000YWL-U4 for ged-emacs-devel@m.gmane.org; Mon, 22 Apr 2019 11:39:22 +0200 Original-Received: from localhost ([127.0.0.1]:34717 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hIVQ0-0004L7-TW for ged-emacs-devel@m.gmane.org; Mon, 22 Apr 2019 05:39:20 -0400 Original-Received: from eggs.gnu.org ([209.51.188.92]:51553) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hIVPq-0004L0-Nu for emacs-devel@gnu.org; Mon, 22 Apr 2019 05:39:11 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hIVPp-0000xT-Si for emacs-devel@gnu.org; Mon, 22 Apr 2019 05:39:10 -0400 Original-Received: from userp2120.oracle.com ([156.151.31.85]:56002) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hIVPn-0000vw-Dl; Mon, 22 Apr 2019 05:39:07 -0400 Original-Received: from pps.filterd (userp2120.oracle.com [127.0.0.1]) by userp2120.oracle.com (8.16.0.27/8.16.0.27) with SMTP id x3M9YCcY160313; Mon, 22 Apr 2019 09:39:05 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=mime-version : message-id : date : from : sender : to : cc : subject : references : in-reply-to : content-type : content-transfer-encoding; s=corp-2018-07-02; bh=kEjtbc5P7VTv//ks39HnpKag2B7wlnPwZvUnK4eatnU=; b=V5A9H53vEyxr9FaXCJSg4LjGLIT+176sGIhBjzRGPJkcbts7gaiuSgy5wVerOEZa9EmQ fDLinpKepXlEhg+vGM9e8/G1vp8IDzi/cCSpRizepvMtSIlfmyI4suEsDLZpTW1K7J1A rI8RlaT2sFTe5Aeo/CcbpDoUIYUhr2nkpEjFuEI475JvvCGzyMt83WApYT1CzSPtp65o u9SfDLyqozr8mr/zkhhhf58wtbgRj33A/rtiX1Gql9dsBMEgIG1Fm32/OAmxUJ8MNKa9 gmWvTJI8oauH1KhFE/FEk/uk4siaWVnLNtcD1MClKN16nVXkVPU76mvh14nZ+aNe1hij Kw== Original-Received: from userp3020.oracle.com (userp3020.oracle.com [156.151.31.79]) by userp2120.oracle.com with ESMTP id 2ryv2pwa40-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Mon, 22 Apr 2019 09:39:05 +0000 Original-Received: from pps.filterd (userp3020.oracle.com [127.0.0.1]) by userp3020.oracle.com (8.16.0.27/8.16.0.27) with SMTP id x3M9cewj177655; Mon, 22 Apr 2019 09:39:05 GMT Original-Received: from aserv0121.oracle.com (aserv0121.oracle.com [141.146.126.235]) by userp3020.oracle.com with ESMTP id 2s0dwdmmte-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Mon, 22 Apr 2019 09:39:05 +0000 Original-Received: from abhmp0001.oracle.com (abhmp0001.oracle.com [141.146.116.7]) by aserv0121.oracle.com (8.14.4/8.13.8) with ESMTP id x3M9d2r7014541; Mon, 22 Apr 2019 09:39:02 GMT In-Reply-To: <877ebm268l.fsf@web.de> X-Priority: 3 X-Mailer: Oracle Beehive Extensions for Outlook 2.0.1.9.1 (1003210) [OL 16.0.4834.0 (x86)] X-Proofpoint-Virus-Version: vendor=nai engine=5900 definitions=9234 signatures=668685 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 suspectscore=2 malwarescore=0 phishscore=0 bulkscore=0 spamscore=0 mlxscore=0 mlxlogscore=835 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1810050000 definitions=main-1904220073 X-Proofpoint-Virus-Version: vendor=nai engine=5900 definitions=9234 signatures=668685 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 priorityscore=1501 malwarescore=0 suspectscore=2 phishscore=0 bulkscore=0 spamscore=0 clxscore=1015 lowpriorityscore=0 mlxscore=0 impostorscore=0 mlxlogscore=855 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1810050000 definitions=main-1904220073 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [generic] X-Received-From: 156.151.31.85 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:235760 Archived-At: > > Anything that mentions state (which could be _any_ state > > available to Emacs - not just system state ^^^^^^^^^^^^^^^^^^ > I think the most important thing is the state of Emacs: variable > bindings (free variables in the function body!), current buffer, value > of point, etc. Since only stuff matters that Emacs has access to (and > this access is always via functions and variables), one could even count > everything that matters as part of Emacs' state. >=20 > What I want to say that mentioning too much external stuff as examples > is more confusing than helpful. I agree. That's most important, by far. (OTOH, if we're trying to give a general definition of pure then any state at all counts. Still, it's only possible for a computable function to take into account state that is available to it...)