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: Sun, 21 Apr 2019 17:03:14 -0700 (PDT) Message-ID: <66b7933c-142f-4c6b-9cc0-526584cb3120@default> References: <87fu3vdjjk.fsf@tcd.ie> <87in6xgtpb.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> 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="80782"; mail-complaints-to="usenet@blaine.gmane.org" Cc: Eli Zaretskii , Alex Branham , monnier@iro.umontreal.ca, emacs-devel@gnu.org To: "Basil L. Contovounesios" Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Apr 22 02:12:01 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 1hIMYy-000Ktw-9o for ged-emacs-devel@m.gmane.org; Mon, 22 Apr 2019 02:12:00 +0200 Original-Received: from localhost ([127.0.0.1]:58493 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hIMYx-0001zX-3V for ged-emacs-devel@m.gmane.org; Sun, 21 Apr 2019 20:11:59 -0400 Original-Received: from eggs.gnu.org ([209.51.188.92]:35741) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hIMYn-0001kZ-U4 for emacs-devel@gnu.org; Sun, 21 Apr 2019 20:11:50 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hIMQe-0005oe-Ci for emacs-devel@gnu.org; Sun, 21 Apr 2019 20:03:25 -0400 Original-Received: from userp2120.oracle.com ([156.151.31.85]:54316) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hIMQc-0005li-JW; Sun, 21 Apr 2019 20:03:22 -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 x3M02Hj2161215; Mon, 22 Apr 2019 00:03:20 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=FU3e2hKrtckUbbkPItBXN7kNB1Li1Mo8zjb7+V1XIgs=; b=KYGLVW109PaFuIJvgSy1uYjFowAB3QZkroWPAiMblqd4DId2MVcrqw+6g8JVbqzjVs/w NW2w4a3a5xZgJ/ukLqYExNWJokfx5NyS3kHHtwIwOyCZ+/TJdFyGp3YZuc7wfWoqJrAj a/qnnfDfWqqI1g4Qv6f8g7xc0uTesEgAk0yDuN4xgqITMjbWQbxU9GdZlT+kti/ZwuM6 VBp8MsnNMrSB6oRRjunGK0jDbpirUOw34nE+ERvQhmH0EAIh+KzNJRHf4UHln7U40jh8 Jv0VnNPiY67B4J3KoLzFS/kAfk9s4jS/47yruwkKIzIbMQVYWSjKiaiK7Dye8khcmcxH 6A== Original-Received: from aserp3030.oracle.com (aserp3030.oracle.com [141.146.126.71]) by userp2120.oracle.com with ESMTP id 2ryv2pun8k-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Mon, 22 Apr 2019 00:03:19 +0000 Original-Received: from pps.filterd (aserp3030.oracle.com [127.0.0.1]) by aserp3030.oracle.com (8.16.0.27/8.16.0.27) with SMTP id x3M033xU137388; Mon, 22 Apr 2019 00:03:19 GMT Original-Received: from aserv0121.oracle.com (aserv0121.oracle.com [141.146.126.235]) by aserp3030.oracle.com with ESMTP id 2s0f0upnu7-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Mon, 22 Apr 2019 00:03:19 +0000 Original-Received: from abhmp0011.oracle.com (abhmp0011.oracle.com [141.146.116.17]) by aserv0121.oracle.com (8.14.4/8.13.8) with ESMTP id x3M03FeV003986; Mon, 22 Apr 2019 00:03:17 GMT In-Reply-To: <87wojn6oh6.fsf@tcd.ie> 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=0 malwarescore=0 phishscore=0 bulkscore=0 spamscore=0 mlxscore=0 mlxlogscore=620 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1810050000 definitions=main-1904210191 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=0 phishscore=0 bulkscore=0 spamscore=0 clxscore=1015 lowpriorityscore=0 mlxscore=0 impostorscore=0 mlxlogscore=646 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1810050000 definitions=main-1904210190 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:235746 Archived-At: > > 1. Wrt this proposed addition: > > > > +A @dfn{pure function} is a function which, in addition to having no > > +side effects, always returns the same value for the same combination > > +of arguments, regardless of external factors such as machine type. > > > > You might want to add something like this at the end: > > > > ", current time/date, or state of the system or > > Emacs session." > > > > "Machine type" is not the first thing I'd think of in this > > regard, and it doesn't emphasize current state in the context > > of dynamic changes. The result does not depend on any state. >=20 > Right. Would "machine type or system state" suffice? I think this > covers time/date, etc. Anything that mentions state (which could be _any_ state available to Emacs - not just system state, if "system" means OS) is better than no mention of state. Emacs could read a sensor or get state from a process report or...