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 23:13:32 +0000 Message-ID: References: <875z2qoqc6.fsf@gnus.org> <87h7ma25so.fsf@tcd.ie> <8735xu33jy.fsf@gnus.org> <87lfbm1o5s.fsf@gnus.org> <874kiaxxbs.fsf@iki.fi> <878s7mwb1g.fsf@tcd.ie> 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="35510"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Lars Ingebrigtsen , Pip Cet , "emacs-devel@gnu.org" To: "Basil L. Contovounesios" Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Thu Feb 18 00:14:41 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 1lCW1p-00095D-Lo for ged-emacs-devel@m.gmane-mx.org; Thu, 18 Feb 2021 00:14:41 +0100 Original-Received: from localhost ([::1]:44230 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lCW1o-0006ah-OS for ged-emacs-devel@m.gmane-mx.org; Wed, 17 Feb 2021 18:14:40 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:45680) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lCW0q-00066g-JL for emacs-devel@gnu.org; Wed, 17 Feb 2021 18:13:40 -0500 Original-Received: from aserp2130.oracle.com ([141.146.126.79]:37302) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lCW0o-0005No-E1 for emacs-devel@gnu.org; Wed, 17 Feb 2021 18:13:40 -0500 Original-Received: from pps.filterd (aserp2130.oracle.com [127.0.0.1]) by aserp2130.oracle.com (8.16.0.42/8.16.0.42) with SMTP id 11HNAtJ4066545; Wed, 17 Feb 2021 23:13:35 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=SdA3awev+OFEUv78QsepyE07pnGZ1TjT3Xf6qD1aCFI=; b=WuURfV2iqKTGrAF59VHNaDVeVdRLX+F2gQvDKPxkLkUSUdQOdbEBaseuURh6Nn0t37EW cQtq8e3TaSvaEK91Uh9NySXs9VaR6RyACofdqJcLawDluoxy+5uETM1G9TK2e0esv5Hw ZdnZ/9UETKxFPsIKn318MdvQFj3cHRKoSiv2ppQkwY4mnLOZNikaQqPrla7e/aCKqNPR L4zApdIYoVyECLEnTr0iPAJYvE4ghhx0WsBugPv6faIOYQJpd45gpsaYK4TvsNQ3rznp xrfs+BMXG1nBsj1tu6i5bIsx8e1s5WSJ1bk6s41KhuIOtpMgzJ4ec9jRNRzcPMGlmPXd zQ== Original-Received: from userp3020.oracle.com (userp3020.oracle.com [156.151.31.79]) by aserp2130.oracle.com with ESMTP id 36p49bc9et-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Wed, 17 Feb 2021 23:13:35 +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 11HN5cFc178121; Wed, 17 Feb 2021 23:13:34 GMT Original-Received: from nam10-dm6-obe.outbound.protection.outlook.com (mail-dm6nam10lp2103.outbound.protection.outlook.com [104.47.58.103]) by userp3020.oracle.com with ESMTP id 36prhtfwvm-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Wed, 17 Feb 2021 23:13:34 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=mvY+2arhfedbMiUL3UU5ADZsI6FF+1UMU7yDur0JhsPODst1hS1JpuFKoN+5XZ0j9jBU227wxHOGEFKQi8KacJhF2HofmHADsrDY9i9myKrK/Pa7ZW8z8/x28xXmsPxN/L2HkKB7RstEXSFB9f4GhBCL53AZfYgUGAE/t/1/25DKOxVRqHgaU+MqfjK3L+mj0qQw5We4uEOfVKxzqZdwp4WlClfJMJGnXYe71B5LMTTxpziRuRzpCnqodvGdYyrvEPvty1Oc1h8f6kVQS6Dp5pjMq4V7tzCkyi2MVOVr9aRQpJuuokn8ShlZSRrEL+2QtvaCFrKZsvZr8D/Ohi6+cg== 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=SdA3awev+OFEUv78QsepyE07pnGZ1TjT3Xf6qD1aCFI=; b=OtondbLxECR/RBYXMDqNa4HYGCz/8Wq1Mvz8fauOfBm5+mhJTaVFzhgpcAYm4ebSP4rboPBR6sb0Dv2Pb1cphjhWfcM87jWlDYTgS7v7Obv2I/pqSZiHMzcG/SBZtco5r/3/xAP8E2/fHbRdmbdxZRUTsTLiKALVRIeYd2ix5eqznPeLIK9bC5DMU+1q/MxseCtZd9yeaLSubYBPC+nBUO/CV4bfe2KOxYtUXIq6kIlBosBwgMpOJ4NEZXplckCzrjU+/5nWCKgSq4dpupWAaXXgnafnHuvQHrNvhaXg/Wq0/E2AnaTlqZZFSRXcS0qba3jvuE0UenP5cBt78+7ulg== 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=SdA3awev+OFEUv78QsepyE07pnGZ1TjT3Xf6qD1aCFI=; b=Z4Ta27T/gsvH10viupE2R+bCM/0/CVGit+EL7I3W0QyjNO90ezZuPGhV22EmakAHGC5r2Tk4PAr/pG2/HaPqaQsazxAknnfRYiZi9UK0me0GPFDV/bBSS8Zp61f6SOQpwRWJbj1FyZVnnCfO5oXC28R9T5GjZbFyd1Y2RQ4RlU4= Original-Received: from SA2PR10MB4474.namprd10.prod.outlook.com (2603:10b6:806:11b::15) by SN6PR10MB2669.namprd10.prod.outlook.com (2603:10b6:805:40::18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3846.26; Wed, 17 Feb 2021 23:13:32 +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 23:13:32 +0000 Thread-Topic: [External] : Re: Always-true predicate? Thread-Index: AQHXBYFXbIP8i9H2p0egjgzcvfo5jKpc99ZA In-Reply-To: <878s7mwb1g.fsf@tcd.ie> Accept-Language: en-US Content-Language: en-US authentication-results: tcd.ie; dkim=none (message not signed) header.d=none;tcd.ie; 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: 90621d66-13b8-4d43-e234-08d8d399a511 x-ms-traffictypediagnostic: SN6PR10MB2669: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:5797; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: MEXRy93yqPQBP9DgyQDT9yImjyR36fjFj3YQbPJ/ciN000aVGdskfcjTJJoxp/79ys37eXNndpvpF69sw+5ZOdcxJHJ0fCjMfGud52qYJHajuL+s3hTjmXt1vVtl5qftLAIzrFhNYm16SM3wqBNvePm1RlUQj21sHRmPHHnL1iOWc301hJxs0GN1Wtal+eBSn/CvR4K6128fs49H38/EaBuzZEod23V5k7JSp+g7hAnVLqfhBlqaUxVbWyWp1e4L6ipnqpexzY1qt1y7wt/yYNGyivYZziXNxn+KJZkK5kOELKwrrdWEZCzbpjPJPkhwen+lJwBl8tSPFTgCRnm8Vcc/Olx8ygWkm4XHXYb505RZ2HFbZWK/FDG3wnQxzGevJpJfdQA4NkrERPZUsNekKpBCCrQFZYp+opJg+MV73YTbMpWdRjSS4Zn2Cip8delD9eCDRgQsPLHNc5yzMSo/6QcvfyWr7uNmhbIyfT4x3arejO799cVNCh4J7zDHKju92zSP8GYNaM7R77iHRSTb+Q== 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:(136003)(366004)(396003)(346002)(39860400002)(376002)(55016002)(8936002)(8676002)(9686003)(66946007)(76116006)(66446008)(4744005)(71200400001)(478600001)(5660300002)(7696005)(66476007)(4326008)(66556008)(316002)(33656002)(26005)(44832011)(6916009)(54906003)(52536014)(6506007)(186003)(296002)(2906002)(64756008)(86362001); DIR:OUT; SFP:1101; x-ms-exchange-antispam-messagedata: =?us-ascii?Q?yrGomEigB4qbpk/GI82fQ8Ezb30kkWRY9OR7HdymzVk40CNWSCgE+6cNfyQh?= =?us-ascii?Q?BDKbBeEBOAdnBVtxU9s3dph5PRCjcp++9ScFa9kcnoHJHQrrMK4JZzLeRgGW?= =?us-ascii?Q?R6DgxvTzI5L/rN023WA/cC/9IDgxHXl6zTV6QArGD4FgLtt0lkBAVfaykp1/?= =?us-ascii?Q?swGpQpunz2XSClw0DjEnvfr7bW9nDpHi5R2PrzQiXxaNb6f1uv6xw1j/FPiD?= =?us-ascii?Q?D3OtV7ybFSrc4hUS05UlHgx5jDvtqyvGHMSJcHNGJR91s+Smz4gQQM8cVBxy?= =?us-ascii?Q?p8heWXOa7Fx8y1eG+Y5OIHvcFQsXfZo1G7WoXORWqLhMkOXd7ACxT/KodqLh?= =?us-ascii?Q?/eiU0vZGpyy/7pxwjS9rkFrM55QM9/w1bGJZvTgZKyRX3PKjetyElRYv5S1u?= =?us-ascii?Q?vHFILsvrDsCER9eEPnqLChV5U65zH1a82GyPju3cEv/yfs30Jqb9/rJ+DdBt?= =?us-ascii?Q?nBBq06UkXYxGYKt7QKRYawWPwaW3VQWZERkDQFJiA/LjctEfEQTOcmpdwGTz?= =?us-ascii?Q?sK4fg/gC05lAQO35Qbzwbvne7I9f+D3dP6qBnxnEl7ZpPVsoqKCtVNfr6DSG?= =?us-ascii?Q?KEg9e3fP3b2Tc7csRBmH/nsoeMbGPPF73a6ph4Uf6o3IDAO6C4i+jgKk8RwP?= =?us-ascii?Q?tv// 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: 90621d66-13b8-4d43-e234-08d8d399a511 X-MS-Exchange-CrossTenant-originalarrivaltime: 17 Feb 2021 23:13:32.4530 (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: jRe0ELHD1+GxKEnnn+xAbttu/lTlPtvnltefcFw6Mxepf9T9LiBvL8Xcs7Gun3mUBJHJ/YSLUCvuVEaRbqhGcQ== X-MS-Exchange-Transport-CrossTenantHeadersStamped: SN6PR10MB2669 X-Proofpoint-Virus-Version: vendor=nai engine=6200 definitions=9898 signatures=668683 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 mlxlogscore=769 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-2102170172 X-Proofpoint-Virus-Version: vendor=nai engine=6200 definitions=9898 signatures=668683 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 spamscore=0 priorityscore=1501 lowpriorityscore=0 bulkscore=0 impostorscore=0 mlxlogscore=999 adultscore=0 malwarescore=0 phishscore=0 clxscore=1015 mlxscore=0 suspectscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2009150000 definitions=main-2102170172 Received-SPF: pass client-ip=141.146.126.79; envelope-from=drew.adams@oracle.com; helo=aserp2130.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:265111 Archived-At: > > But again, I agree with Teemu: YAGNI. >=20 > I think you meant *You* AGNI. You're right that _I_ won't need it. But my impression is also that Emacs doesn't need it. I guess you feel strongly that you are going to need it? Or that Emacs will? Typically in a case like this (some simple code that people write and use over and over) we find that users have written local named functions for such things, which they use. That was the case, for instance, for things like `remove-if(-not)'. Because people wrote such functions locally so much, for multiple libraries, we decided to add them to Emacs. Is something like that the case here? Do you (for example) already define a named function for this, for your own use? If no one actualy does that, and people are fine with (lambda () t), then, yeah, I'd think E(macs)AGNI.