From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Drew Adams Newsgroups: gmane.emacs.devel Subject: RE: [External] : Re: Always-true predicate? Date: Wed, 17 Feb 2021 22:25:33 +0000 Message-ID: References: <875z2qoqc6.fsf@gnus.org> <87h7ma25so.fsf@tcd.ie> <8735xu33jy.fsf@gnus.org> <87lfbm1o5s.fsf@gnus.org> <874kiaxxbs.fsf@iki.fi> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="24914"; mail-complaints-to="usenet@ciao.gmane.io" Cc: "Basil L. Contovounesios" , "emacs-devel@gnu.org" To: Teemu Likonen , Lars Ingebrigtsen , Pip Cet Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Wed Feb 17 23:27:11 2021 Return-path: Envelope-to: ged-emacs-devel@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 1lCVHp-0006Kz-V8 for ged-emacs-devel@m.gmane-mx.org; Wed, 17 Feb 2021 23:27:10 +0100 Original-Received: from localhost ([::1]:42598 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lCVHo-0007IG-VV for ged-emacs-devel@m.gmane-mx.org; Wed, 17 Feb 2021 17:27:08 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:34450) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lCVGQ-0006GU-KP for emacs-devel@gnu.org; Wed, 17 Feb 2021 17:25:42 -0500 Original-Received: from aserp2120.oracle.com ([141.146.126.78]:60052) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lCVGO-00080z-9l for emacs-devel@gnu.org; Wed, 17 Feb 2021 17:25:42 -0500 Original-Received: from pps.filterd (aserp2120.oracle.com [127.0.0.1]) by aserp2120.oracle.com (8.16.0.42/8.16.0.42) with SMTP id 11HM9rP8152375; Wed, 17 Feb 2021 22:25:36 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=from : to : cc : subject : date : message-id : references : in-reply-to : content-type : content-transfer-encoding : mime-version; s=corp-2020-01-29; bh=4SZWOTT7uok6aLs1G31BWl6JMuuvoILnECf/I3aXYUc=; b=oBGUdwcRd8S2XaDUKFBupaL/VyN59jyb1JMRGyPFI3RvQQwtkChwCRPO8BhMB3fsHndu 1sdTEzlOQAd23AJSfqAk/9wB59Dqs7/Wqni2uFxDb5XvpAJHaVUmPBD4C122ZdDIWpIk XHfUPgTo17e4W/H7771PQRwAY+6q5AJrZxWWGJH9a7GuRXeBZpTB0xCLxy2XkjXGT69k RH8LATc2kEl60JsYVBwQFm59ReLGYBzQ2f0pB+opWQIY+Hi2vuMJ9v8J9uJs+PGJx/Dx DT75myjZqvE3z3UTHRuDXGnYxEak2KwEbqXLUenAdYvgCIDcDIK7pOdNT5onnip50JJi Vw== Original-Received: from userp3020.oracle.com (userp3020.oracle.com [156.151.31.79]) by aserp2120.oracle.com with ESMTP id 36pd9abh79-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Wed, 17 Feb 2021 22:25:36 +0000 Original-Received: from pps.filterd (userp3020.oracle.com [127.0.0.1]) by userp3020.oracle.com (8.16.0.42/8.16.0.42) with SMTP id 11HM9b91154629; Wed, 17 Feb 2021 22:25:35 GMT Original-Received: from nam10-mw2-obe.outbound.protection.outlook.com (mail-mw2nam10lp2100.outbound.protection.outlook.com [104.47.55.100]) by userp3020.oracle.com with ESMTP id 36prhtenm9-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Wed, 17 Feb 2021 22:25:35 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=O4wOvZmSt/dUccOfGgZ/t0J7aDh+iVSuYNwZUwnQMz9ac1d5fTkdMhmPpGSsrBx334PBdWMYMbyNMTL4+4tW8ib9UR4kfwNsPW+uhQKUvHorAlfCr11MvKHPr/U5niGBP8iLgLrtDasKxPDhnuH1BGaFw/YGjMVBGJrBqiTiQiqLs543SykalYPLuieZkxJA5kFS8HMRu1Yg9AmuiD/FF9jgA7Wtt6DfXGsSoOBjoqRewCqeY78VJawmWUlJbk9nywm9Lzl4sq1yZjeSHBq+CQ0YAbTGTypScGx3YWaI8zA4bSvPXUcpQVMPF2E7XeEcfv92Z5SVtoFiix6w4kuIJg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=4SZWOTT7uok6aLs1G31BWl6JMuuvoILnECf/I3aXYUc=; b=J+nAx+EW1IbTOaEopnwPMehUcIRzKSTxIXBJK1n5mQsdgWYrGgRPexEwykxblA7j9N59PpQEpaBkfbvDC8AQeqhXG6uSngA1y8Mihh8QonItf2WZYUC78dOsJrLlCQRmsQz4JBLl0TM/UH8cR/LbBNuWlRMvqT2ht9KrUhIl0d7q9VMHausDPCWtz4qfIMRndlczo5HAqg7VasiZmYo0Szl6M2pvXXCEvAYqtjCZEVSsCG4BuHyPi1Rx0DWY8zJ1xOdvvgijmO3BF4C9Cd7lRE56JmUwjDa14mnof0v5f+aWLx6xRtkZT2ty0X6FJkB7YepKkW4yhfI2tl5LQOFMCQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=oracle.com; dmarc=pass action=none header.from=oracle.com; dkim=pass header.d=oracle.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.onmicrosoft.com; s=selector2-oracle-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=4SZWOTT7uok6aLs1G31BWl6JMuuvoILnECf/I3aXYUc=; b=SMXtuhRjlGcYTmXqS30ukR5ThXBpQd/MqPcGRCToG5aZ8pyPJfXFRzFk+diMj6dIO40qB6Hib91ifhq6IwaOP0d13qOnsrMaZixT4YiGF3FJC2/6F8vA4JtU5InPp38hwR4EKygJ0e8R1mZv+T+jPQ4fou910EKyjHsbBvg/HwI= Original-Received: from SA2PR10MB4474.namprd10.prod.outlook.com (2603:10b6:806:11b::15) by SN6PR10MB3005.namprd10.prod.outlook.com (2603:10b6:805:cc::29) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3846.25; Wed, 17 Feb 2021 22:25:33 +0000 Original-Received: from SA2PR10MB4474.namprd10.prod.outlook.com ([fe80::b8d2:db6d:3e4b:d315]) by SA2PR10MB4474.namprd10.prod.outlook.com ([fe80::b8d2:db6d:3e4b:d315%5]) with mapi id 15.20.3846.043; Wed, 17 Feb 2021 22:25:33 +0000 Thread-Topic: [External] : Re: Always-true predicate? Thread-Index: AQHXBWpoaTuZKwSl/kWCps/2Ccevqapc6t6g In-Reply-To: <874kiaxxbs.fsf@iki.fi> Accept-Language: en-US Content-Language: en-US authentication-results: iki.fi; dkim=none (message not signed) header.d=none;iki.fi; dmarc=none action=none header.from=oracle.com; x-originating-ip: [73.170.83.28] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: fbc6e3b5-c893-476e-133c-08d8d392f143 x-ms-traffictypediagnostic: SN6PR10MB3005: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:8882; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: NN28qTG+kvQjrwSJhC60Ty23KcWNqixSi6C9bAdlkeoakBO+mCXuD5YDUUEVQTewVomJyYrMldnpedR7hR3CQkG9/qgcIwnldF6zneouzL+jT9oo1r9zq/2G+Nl2WPiz6k4IL0Yq0qHGDB0i61GlrcGB/LSIiKJDolyVcn+Gr16SpuAMgsiGhlniUDo0FbMqmT0StQOQGajz44BESeiMLLuYgl4yYEWutAXSj8uWNfeExW+xj+4n5w0bf0EsWFHmOifgH1rIoNV663AfRe/8TZ453FSoxmgg6q1Zz9CpQjT2/qxKFU6YxBbXFZZBIRTk2ODh7rQ8yTXg3l1L7Wj6DIkv4MQsb7/PZBs6QLW7IMshcrnFOrwyhv3IYgtuZi2cV9aWk7pN6gJZyo4F87f8vB76WP6FtMUzrnqmW+ARIdUxcxNh935dTDhKpp2g3lCTWYq4Ic7GHCi536WGNxvt5CwG86AKykFEuqopqkoy9d5C/IjGU7Ht9UtPyF7txqV8YW89owM/xFWA+iZhbR1cmg== x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:SA2PR10MB4474.namprd10.prod.outlook.com; PTR:; CAT:NONE; SFS:(346002)(39860400002)(136003)(366004)(376002)(396003)(478600001)(8936002)(55016002)(6506007)(7696005)(52536014)(8676002)(76116006)(186003)(316002)(86362001)(26005)(5660300002)(71200400001)(66476007)(33656002)(4326008)(9686003)(2906002)(54906003)(110136005)(64756008)(66946007)(66446008)(44832011)(66556008); DIR:OUT; SFP:1101; x-ms-exchange-antispam-messagedata: =?us-ascii?Q?A7u63XpYhluH5pa1odpc7IwSBVc5oH/Pzyf/kaPhZIa/fXEZQYUTwmMXcCbZ?= =?us-ascii?Q?QnjTkyxv98BPDg+CKyStXz4M40CMEjXl8tkZlnn2HRMJ+65YiSqE2k13DAjj?= =?us-ascii?Q?TXLdqAh/3DHkKkWhEYAkJEvVqvoFKoan6cGMIFIroR7Dv+knwHxQVdwVU1R7?= =?us-ascii?Q?Lmy15LGqnuspE3PYlfx1CqbLZQJ8PhlO5tl+XFDgfxLnCIZvu+XCxmVsWl60?= =?us-ascii?Q?iwrU6NiKpImDbvAcQLp9NVh4bubOt735zjHKn5SpFxFpL9KIToudChJKq0k4?= =?us-ascii?Q?9mg7sHKAENcDW6U+nBlYQhbXasObpBFc08FPNdD+RlPClJFyahlCgneM8+UP?= =?us-ascii?Q?GfP4pgRodwfeMiQtqtreVZZluEoHbGOfygtT7cNSEu90KkRM8h2W5EXJhAp1?= =?us-ascii?Q?izclQ7SZGGpSUcb4m7flzPrI1A4MB1ldc75h7IkfLODyLKmTDjTd0nvdjt1j?= =?us-ascii?Q?amBf7PTU0a1xqfZ+lxSgGgWQ1vTYTR8mhM646d5UZgSocDHzzj113vhn91iW?= =?us-ascii?Q?WoS6fEeUItsg+DeGTmShJDwOKYlFWXHKbSKCHidyxHhDVT4t+zi/6QEFGS3j?= =?us-ascii?Q?hXDzd6ku3yXsA7Ab8pnyOMxkjX7DkvBiRljmo5Q4Dln5z/UTVzK4ho22mddi?= =?us-ascii?Q?//5Q x-ms-exchange-transport-forked: True X-OriginatorOrg: oracle.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: SA2PR10MB4474.namprd10.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: fbc6e3b5-c893-476e-133c-08d8d392f143 X-MS-Exchange-CrossTenant-originalarrivaltime: 17 Feb 2021 22:25:33.8718 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: WS3lelGpTxliCT64tc9pTQrDfJWhjqvZuSFq2PoCbugx1c4zTj83dFnIstP972Wg0uf4TeFUpNWIGgWLYS+h5g== X-MS-Exchange-Transport-CrossTenantHeadersStamped: SN6PR10MB3005 X-Proofpoint-Virus-Version: vendor=nai engine=6200 definitions=9898 signatures=668683 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 mlxlogscore=685 adultscore=0 mlxscore=0 bulkscore=0 suspectscore=0 malwarescore=0 spamscore=0 phishscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2009150000 definitions=main-2102170164 X-Proofpoint-Virus-Version: vendor=nai engine=6200 definitions=9898 signatures=668683 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 clxscore=1011 impostorscore=0 mlxscore=0 phishscore=0 mlxlogscore=979 spamscore=0 bulkscore=0 priorityscore=1501 malwarescore=0 suspectscore=0 adultscore=0 lowpriorityscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2009150000 definitions=main-2102170164 Received-SPF: pass client-ip=141.146.126.78; envelope-from=drew.adams@oracle.com; helo=aserp2120.oracle.com X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 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, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.23 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-mx.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.io gmane.emacs.devel:265100 Archived-At: > Could you please make it optional? So that those who want the new > behaviour of (apply nil) can get it by doing something like: >=20 > M-x customize-variable RET apply-nil-will-not-segfault-anymore RET >=20 > There are many users and third-party packages which depend on the old > behaviour. I'll show you stats in a minute... >=20 > Seriously: I remember one case when I tried to find CONSTANTLY or > similar but failed. I wrote some LAMBDA form. No big deal. Agreed, no big deal. ___ But if it's decided to do this, then clearly a function that accepts an optional arg and just returns that arg is preferable to either one that always returns `t' or one that requires (instead of just accepts) an arg. And the name `constantly' has a connotation of repetition, which isn't relevant. This is essentially just the SKI logical combinator `K'. Call it `constant' or some such, perhaps. OTOH, with Lisp, if the argument can return different values when its evaluated then this really isn't a constant-returning function. ___ But again, I agree with Teemu: YAGNI.