From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Drew Adams Newsgroups: gmane.emacs.devel Subject: RE: Predicate for true lists Date: Mon, 4 Jun 2018 08:31:49 -0700 (PDT) Message-ID: References: <87fu3vdjjk.fsf@tcd.ie> <87bmcqhhsf.fsf@tcd.ie> <87tvqifw3d.fsf@tcd.ie> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1528127599 24862 195.159.176.226 (4 Jun 2018 15:53:19 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 4 Jun 2018 15:53:19 +0000 (UTC) Cc: emacs-devel@gnu.org To: "Basil L. Contovounesios" , Stefan Monnier Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Jun 04 17:53:15 2018 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPrnG-0006Lt-Qv for ged-emacs-devel@m.gmane.org; Mon, 04 Jun 2018 17:53:14 +0200 Original-Received: from localhost ([::1]:40550 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fPrpN-0006Hu-Uw for ged-emacs-devel@m.gmane.org; Mon, 04 Jun 2018 11:55:25 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:42240) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fPrSg-00049C-Pd for emacs-devel@gnu.org; Mon, 04 Jun 2018 11:32:02 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fPrSd-0003k1-Gp for emacs-devel@gnu.org; Mon, 04 Jun 2018 11:31:58 -0400 Original-Received: from userp2120.oracle.com ([156.151.31.85]:55364) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1fPrSd-0003ji-7G for emacs-devel@gnu.org; Mon, 04 Jun 2018 11:31:55 -0400 Original-Received: from pps.filterd (userp2120.oracle.com [127.0.0.1]) by userp2120.oracle.com (8.16.0.22/8.16.0.22) with SMTP id w54FVXJa180649; Mon, 4 Jun 2018 15:31:53 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-2017-10-26; bh=WUNnYPtNo8t6c0RTZMlW9Sa56BUDKIK9h28g5o/zFo8=; b=Y+4icxWi1Bs7PADn/iPewuw4zFafN2Ee6TAfH/RUdxfn1cNZjDjLxDDUNb/4ifm5nX8L wZZ1vhyqItrB05AJf26b7kf5I7AWk4/tWHi2JG6zB0f05luwudHKawpnZxzDDQx5dlWY UODNqGbTEeFdeSti5kfb+G6IWaNCdi7RzHt7mu7OLDd9DrLqVuHWo8dKOUGmQygOkrvd 4AfAabNMgbk0z0Sg0sj2v/qM4aqzjrU4gK8cZHjN9RAbPq5d0MXnSAfyUCGXctgaITxQ JYZmsa4ddpOWjxacmjoJ1LPwwODDCHXZjoLA/AQsuTCAx7PxGk5yBo4GsdXHW0nnswLV GA== Original-Received: from aserv0021.oracle.com (aserv0021.oracle.com [141.146.126.233]) by userp2120.oracle.com with ESMTP id 2jbvypc3h3-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Mon, 04 Jun 2018 15:31:53 +0000 Original-Received: from aserv0122.oracle.com (aserv0122.oracle.com [141.146.126.236]) by aserv0021.oracle.com (8.14.4/8.14.4) with ESMTP id w54FVqwW002732 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Mon, 4 Jun 2018 15:31:52 GMT Original-Received: from abhmp0008.oracle.com (abhmp0008.oracle.com [141.146.116.14]) by aserv0122.oracle.com (8.14.4/8.14.4) with ESMTP id w54FVpdG011059; Mon, 4 Jun 2018 15:31:51 GMT In-Reply-To: <87tvqifw3d.fsf@tcd.ie> X-Priority: 3 X-Mailer: Oracle Beehive Extensions for Outlook 2.0.1.9.1 (1003210) [OL 16.0.4690.0 (x86)] X-Proofpoint-Virus-Version: vendor=nai engine=5900 definitions=8914 signatures=668702 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 suspectscore=0 malwarescore=0 phishscore=0 bulkscore=0 spamscore=0 mlxscore=0 mlxlogscore=994 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1805220000 definitions=main-1806040182 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [generic] [fuzzy] 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:226000 Archived-At: > > As for `cdr` vs CDR. The all-caps version is a metavariable referring > > to something which we happened to call CDR. E.g. > > > > Foo takes the form (CAR . CDR) where CDR is blabla. >=20 > Right, but I see no such destructuring/metasyntax in the Elisp manual. > Both "(elisp) Cons Cells" and "(elisp) Cons Cell Type", for example, > refer directly to the CAR and CDR slots of a cons cell, without first > illustrating their structure. Is that OK? My answer probably does not reflect an Emacs doc-string or manual convention, but here are my 2 cents anyway: 1. Uppercase: As Stefan said, only when it refers to a piece of a pattern. 2. Lowercase in code font (e.g. what Stefan wrote as `cdr` and you wrote as `cdr'): Only when referring to the function. 3. Lowercase otherwise. In talking about Lisp, "car" and "cdr" are regular English words, just like "first" and "rest". They are Lisp jargon words, but they are English nevertheless. IOW, there's no reason we should not just talk about the cdr of a list, with no special typography used for the word "cdr".