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: Sat, 7 Jul 2018 07:42:56 -0700 (PDT) Message-ID: <2f669c36-d3f5-4c3b-b6ff-0b54e296f1a1@default> References: <<<87fu3vdjjk.fsf@tcd.ie>>> <<<87bmcqhhsf.fsf@tcd.ie> <87in6xgtpb.fsf@tcd.ie> <2af892df-26cb-60b2-4fd8-067fcb3d32e9@cs.ucla.edu> <87r2kh9uwx.fsf@tcd.ie>>> <<<83h8lcnbxb.fsf@gnu.org> >> <<<83601sl0wo.fsf@gnu.org>>> <<95fda70b-5893-4788-83c5-a0bb5d708304@default>> <<8336wvleml.fsf@gnu.org>> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1530974508 25181 195.159.176.226 (7 Jul 2018 14:41:48 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sat, 7 Jul 2018 14:41:48 +0000 (UTC) Cc: contovob@tcd.ie, eggert@cs.ucla.edu, emacs-devel@gnu.org To: Eli Zaretskii , Drew Adams Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sat Jul 07 16:41:43 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 1fboP9-0006Qm-5F for ged-emacs-devel@m.gmane.org; Sat, 07 Jul 2018 16:41:43 +0200 Original-Received: from localhost ([::1]:33904 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fboRE-0006IF-HA for ged-emacs-devel@m.gmane.org; Sat, 07 Jul 2018 10:43:52 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:46988) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fboQd-0006IA-V2 for emacs-devel@gnu.org; Sat, 07 Jul 2018 10:43:16 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fboQc-0002W3-Nu for emacs-devel@gnu.org; Sat, 07 Jul 2018 10:43:15 -0400 Original-Received: from aserp2120.oracle.com ([141.146.126.78]:51610) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1fboQX-0002Ri-61; Sat, 07 Jul 2018 10:43:09 -0400 Original-Received: from pps.filterd (aserp2120.oracle.com [127.0.0.1]) by aserp2120.oracle.com (8.16.0.22/8.16.0.22) with SMTP id w67Ecbb8181109; Sat, 7 Jul 2018 14:42:59 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=UDJKC8oSMl532rLvwG8gjv7hP9qfjbHVyOVaWgBBQwE=; b=cqCX5P5z3B2YlPu5woTxAIApcB8iJiiEoHnwf2WzAlnc0L9yloTsaucJhbMIBItsV+VF l/77yyD6YqPxuQBUu7nM1jN3NtS1UXNALA5ySR+Ouxp2NQ0Abc6Le5n63TNDLVHMPqwL scHnpRCQhrrEQxnyBQS7b+UDDv6yUtOQ7+uIAd2Px3SHYd8oiytNsPFs/xBYHp509tui 08juISDAXTkIHVDtjUyxbxJcUvF0rOa7GKs1zeU1MwZFUhoH6QFBD+tUArRlGFToxDfU BYgAhPz0TPmZBohjoRvyjDGSIYwC1gpd5zNXlxr0Iy8rkKz4TQT3ZV0SWMSjBjZqZolb XA== Original-Received: from aserv0022.oracle.com (aserv0022.oracle.com [141.146.126.234]) by aserp2120.oracle.com with ESMTP id 2k2p7dgpd0-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sat, 07 Jul 2018 14:42:59 +0000 Original-Received: from userv0122.oracle.com (userv0122.oracle.com [156.151.31.75]) by aserv0022.oracle.com (8.14.4/8.14.4) with ESMTP id w67EgwuJ028724 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sat, 7 Jul 2018 14:42:58 GMT Original-Received: from abhmp0008.oracle.com (abhmp0008.oracle.com [141.146.116.14]) by userv0122.oracle.com (8.14.4/8.14.4) with ESMTP id w67Egvti003596; Sat, 7 Jul 2018 14:42:57 GMT In-Reply-To: <<8336wvleml.fsf@gnu.org>> X-Priority: 3 X-Mailer: Oracle Beehive Extensions for Outlook 2.0.1.9.1 (1003210) [OL 16.0.4705.0 (x86)] X-Proofpoint-Virus-Version: vendor=nai engine=5900 definitions=8946 signatures=668704 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 suspectscore=0 malwarescore=0 phishscore=0 bulkscore=0 spamscore=0 mlxscore=0 mlxlogscore=788 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1806210000 definitions=main-1807070176 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [generic] [fuzzy] X-Received-From: 141.146.126.78 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:227062 Archived-At: > > > > IIRC, the main motivation for adding this function was > > > > to provide a predicate for testing properness. > > > > > > Then I'd prefer calling the function proper-list-p (and returning the > > > list length when it's a proper list) than the other way around. > > > > Then discoverability of the use for length is reduced. >=20 > Not if we state in the doc string that the value returned > for proper lists is the list length. I disagree, but it's not the end of the world if you don't provide the alias. I was referring to _discoverability_ by looking for a function with a name that suggests "length". (And vice versa, if you are looking for a predicate and the only name that exists says "length".) Help functions that work off of the function name will not be very helpful in finding the other function, if only one name is provided. This function has two quite different use cases, and it would help to have two corresponding aliases.